Roti de porc aux choux de Bruxelles et lardons

Un quart d'heure avant sortir votre rôti de porc et frotter le d'ail et de thym (ou herbes de provence). Piquer le roti avec l'ail coupé en lamelle.

Puis :

Couper la base des choux de bruxelles et éventuellement enlever les feuilles fanées. Laver dans de l'eau vinaigrée.

Faire bouillir un grand volume d'eau salée et y jeter les choux de bruxelles. Les faire cuire 10 min en cocotte minute, ou plus si faitout.

Bien les égoutter.

Pendant que les choux cuisent, préparer le rôti :

Faire chauffer l'huile et y mettre la viande à roussir de tous les cotés à feu vif.

Ajouter l'oignon et le thym éventuellement. Saler et poivrer (attention les lardons sont salés !).

Fermer la cocotte minute et laisser cuire 30 minutes tout doucement (la soupape ne tourne pas elle chuchote seulement).

Mettre rissoler les lardons sans matière grasse.

Puis 1/4 d'heure avant la fin de cuisson du rôti, ouvrir la cocotte, mettre les choux de Bruxelles égouttés et les lardons rissolés autour du rôti et remettre le couvercle, continuer la cuisson du rôti 1/4 d'heure doucement.

Servir avec des pommes de terre à l'eau accompagnée d'un peu de moutarde.