Temps de préparation 15 minutes min
Temps de cuisson 25 minutes min
Temps total 40 minutes min
Pour un filet mignon de porc en cocotte encore plus savoureux, laissez mariner la viande dans un mélange de moutarde, ail, thym et huile d'olive pendant 1 à 2 heures avant la cuisson.