Champignons d’octobre (vendu)