Rôti de porc facile en cocotte-minute

Ingrédients

• 1 rôti de porc dans la noix de 600 g
• 1 cuillerée à soupe d'huile d'olive
• 2 gousses d'ail
• 1 gros oignon émincé
• 1 boîte de pulpe de tomates en dés
• 1 petite boîte de champignons
• sel et poivre du moulin
• thym
• 1 cuillerée à soupe rase de maïzena
• 2 bons verres d'eau