Filet mignon de porc au cidre

Ingrédients

• 1 filet mignon de porc d'environ 600 g
• 50 cl de cidre
• 1 bocal de 185 g de girolles
• 2 échalotes
• 20 cl de crème fraîche
• 1 cuillère à soupe de farine
• 1 carotte en rondelle
• Huile d'olive
• Sel et poivre