Rôti de porc facile en cocotte-minute

Préparation

• 
  Epluchez et coupez les gousses d'ail en 2 ou 4 dans le sens de la longueur. Faites des entailles dans le rôti et placez-y les morceaux d'ail.
• 
  Faites chauffer l'huile dans une sauteuse sur feu moyen ou vif. Quand elle est chaude, faites dorer le rôti de toutes parts. Assaisonnez.
• 
  Epluchez l'oignon et coupez-le en lamelles. Mettez-le à dorer dans la cocotte.
• 
  Ajoutez les tomates et les champignons versez l'eau et saupoudrez de thym.
• Fermez la cocote. Placez la soupape et ramenez à feu moyen ou doux.
• 
  Laissez cuire environ 25 minutes à partir du moment où la soupape commence à tourner.
• Retirez la soupape puis ouvrez la cocotte et retirez le rôti. Diluez la maïzena dans un peu de sauce puis reversez dans la casserole en remuant bien.
• Portez la sauce à ébullition pour la faire épaissir. Lorsqu'elle a la consistance désirée, remettez le rôti dans la sauteuse pour le réchauffer un peu avant de le servir.