Rôti de porc aux champignons gratiné

Ingrédients de la recette :

- 1 rôti de porc d'1 kg- 500 g de champignons- 50 cl de lait- 100 g de fromage râpé (gruyère, comté, beaufort)- 50 g de farine- 50 g de beurre- huile- sel et poivre

Préparation de la recette :

Faites dorer la viande à la cocotte avec du beurre.
Couvrez et laissez cuire à feu doux pendant 1 h.
Pendant ce temps, lavez les champignons, égouttez-les et faites-les cuire à la poêle dans de l'huile environ 10 min.
Hachez-les finement.
Faites fondre le beurre, et la farine et remuez.
Versez le lait et laissez épaissir à feu doux en remuant.
Salez, poivrez et parfumez de muscade.
Ajoutez les champignons hachés dans la béchamel.
Retirez le rôti de la cocotte, tranchez-le.
Etalez de la sauce aux champignons entre chaque tranche et reformez le rôti.
Versez le reste de sauce dessus et saupoudrez de fromage.
Faites gratiner 15 min au four à 180°C (thermostat 6).