Champignons de Paris gratinés au Vacherin

Pour 4 personnes:

Ingrédients

11 à 16 gros champignons de Paris
150 g de vacherin
30 g de beurre
2 tranches de jambon cru
sel
poivre du moulin
muscade

Instruction
Rincer les champignons à l’eau vinaigrée; couper les pieds et les hacher finement.
Faire fondre le beurre dans une casserole et y faire d’abord étuver les têtes pendant 3 à 4 minutes.
Sortir les têtes et réserver. Dans le même beurre, faire revenir le hachis obtenu à partir des pieds de champignons; saler, poivrer, ajouter la muscade.
Ajouter le jambon cru finement haché, puis faire fondre le vacherin dessus.
Les ranger dans un plat en terre ou résistant à la chaleur. Mettre au four préchauffé à 220° C et laisser gratiner pendant 3 à 4 minutes.