Filet mignon de porc gratiné aux champignons

Instructions

1. Faire cuire le riz dans de l’eau salée en suivant les instructions de l’emballage. Préchauffer le four à 220 °C (gaz : th. 4, four à chaleur tournante : 200 °C). Frotter les champignons pour les sécher et les couper en tranches. Laver les tomates et les couper en tranches. Tapoter le filet mignon de porc avec du papier absorbant pour le sécher. Le couper en tranches de 2 cm d’épaisseur. Saler et poivrer.
2. Faire chauffer l’huile dans une poêle à feu moyen ou vif. Y faire cuire le filet mignon 2 à 3 minutes de chaque côté. Retirer du feu. Faire frire les champignons env. 5 minutes dans le jus de cuisson. Beurrer un plat à gratin (env. 25 x 25 cm) avec de la margarine. Recouvrir le fond et les bords de tranches de tomate. Répartir le filet mignon, les champignons et le jambon par-dessus.
3. Ajouter la farine dans le jus de cuisson, puis y ajouter le lait, la moutarde et l’ail en poudre. Porter à ébullition à feu moyen. Saler et poivrer la sauce. Répartir sur le mélange de champignons et de filet mignon. Parsemer de fromage. Cuire au milieu du four pendant 15 à 20 minutes. Servir le filet mignon gratiné avec le riz.