Champignons farçis !

Déjeuner sympa au « restaurant des grottes » (pas la boutique-cafétéria à la sortie de la grotte mais un vrai restaurant un peu plus bas).