Filet de porc rôti, sauce crémeuse aux champignons

Ingrédients

PréparationPréparation des choux de Bruxelles

Dans un grand bol, mélanger les choux de Bruxelles avec 1 c. à thé (5 ml) chacun de l'huile et du thym. Saler et poivrer. Réserver.

Cuisson du filet de porc et des choux de Bruxelles

Saler et poivrer le filet de porc, et le frotter pour bien l'enrober. Dans un grand poêlon en fonte, chauffer 2 c. à thé (10 ml) du reste de l'huile à feu moyen-vif. Ajouter le filet de porc et cuire 5 minutes ou jusqu'à ce qu'il soit doré de tous les côtés. Disposer les choux de Bruxelles réservés autour du filet de porc. Cuire au four préchauffé à 425 °F (220 °C) pendant 15 minutes ou jusqu'à ce qu'un thermomètre inséré au centre du filet indique 155 °F (68 °C) et que les choux de Bruxelles soient tendres mais encore légèrement croquants. Déposer le filet de porc sur une planche à découper et les choux de Bruxelles dans une assiette de service, puis les couvrir de papier d'aluminium, sans serrer. Laisser reposer 5 minutes avant de couper le porc en tranches.

Préparation de la sauce aux champignons

Entre-temps, dans le poêlon, chauffer le reste de l'huile à feu moyen. Ajouter les champignons, les échalotes et le reste du thym, et cuire, en brassant souvent, 5 minutes ou jusqu'à ce que les champignons commencent à dorer. Verser le vinaigre et poursuivre la cuisson 1 minute. Ajouter la crème et les tomates séchées, puis mélanger. Laisser mijoter 3 minutes ou jusqu'à ce que la sauce ait légèrement épaissi.

Dressage

Répartir le filet de porc dans des assiettes. Napper de la sauce aux champignons. Servir avec les choux de Bruxelles.