Filet mignon de porc moutarde et bière

Préparation

1. La veille au soir, badigeonner les filets mignons de moutarde, les déposer dans une boite hermétique (ou recouvrir d'un film étirable) et laisser mariner toute la nuit au frigo.
2. Le lendemain, faire dorer les filets de porc dans une cocotte à fond épais, sur feu moyen, dans un peu d'huile.
3. Ajouter les oignons coupés et les gousses d'ail en chemise.
4. A coloration, saupoudrer avec la farine.
5. Mouiller avec la bière.
6. Ajouter le bouquet garni.
7. Laisser cuire à feu doux et à couvert pendant une heure environ.
8. Vingt minutes avant la fin, ajouter les carottes coupées en rondelles.
9. Dix minutes avant la fin, les champignons émincés, que vous aurez fait cuire dans une poêle ou au micro-ondes, pour éviter qu'ils ne rendent trop d'eau dans la (future) sauce de votre plat.
10. Juste avant de servir, stopper l'ébullition et ajouter la crème fraîche.
11. Servir aussitôt.