Rôti de porc au cidre

Bon je n'ai pas de photo ayant oublié de dégainer l'appareil alors il va falloir me croire sur parole : c'est bon ET appétissant :))

- 1 rôti de porc
- 2 carottes
- 2 poignées de champignons de Paris surgelés
- 1 oignon
-1 cs de moutarde forte
- 3 gousses d'ail
- persil, thym, laurier
- sel, poivre
- 1 bouteille de cidre brut

Piquer la viande avec 2 gousses d'ail
Dans la cocotte minute faire revenir le rôti de dans un fond d'huile d'olive.
Rajouter l'oignon emincé, les carottes découpées en rondelles, les champignons, l'ail puis saler et poivrer.
Laisser revenir un instant puis recouvrir du cidre et rajouter le bouquet garni et la moutarde.
Laisser cuire 40 minutes sous pression.