Filet de porc épicé aux oignons rouges grillés

INSTRUCTIONS

1. Appuyez sur « Saisir/Sauter » , réglez la minuterie sur 15 minutes et laissez chauffer 3 minutes. Dans un petit bol, mélangez le ketchup, le miel et la moutarde. Réservez.
2. Ajoutez 1 cuillère à soupe (15 ml) d’huile d’olive dans la marmite et faites chauffer pendant 1 minute.
3. Assaisonnez le porc avec la poudre de chili, le cumin et ½ cuillère à café de sel et de poivre noir. Ajoutez le porc dans la cocotte et faites-le cuire, en le retournant de temps en temps, jusqu'à ce qu'il soit doré de tous les côtés (5 à 7 minutes au total). Appuyez sur Annuler .
4. Répartir les oignons dans la marmite, arroser du reste d'huile d'olive (15 ml) et assaisonner avec les ¹⁄8 de cuillère à café de sel et de poivre noir restants. Soulever le porc et le déposer sur les oignons. Verser la moitié du mélange de ketchup sur le porc.
5. Couvrez, appuyez sur « Cuisson » et réglez la température à 205 °C (400 °F) et la minuterie à 15 minutes . Laissez cuire jusqu'à ce que le porc atteigne 63 °C (145 °F) sur un thermomètre à viande à lecture instantanée, soit de 10 à 12 minutes. Appuyez sur « Annuler » .
6. Transférez le porc sur une planche à découper, versez le reste du mélange de ketchup sur le dessus et laissez reposer au moins 5 minutes avant de trancher. pendant au moins 5 minutes avant de trancher.
7. Transférez les oignons dans un petit plat et servez avec le porc.