Petite mijotée de porc et son gratin de polenta

Ingrédients

• 800 g de porc dans le filet
• 4 échalotes
• 1 gousse d'ail
• 300 g de chapeaux de champignons de Paris
• 1 grosse tomate
• 150 g d'olives vertes dénoyautées
• 120 g de vin blanc
• 1 cuillère à soupe d' herbes de Provence
• 2 cuillères à café de fond pour rôti
• 100 g de crème fraîche
• huile d'olive
• sel
• poivre du moulin