Filet mignon de porc aux champignons et carottes (sauce brune)

Ingrédients (4 personnes)

1 filet mignon de porc

250 g champignons de Paris (entiers ou coupés)

3 carottes (coupées en rondelles)

1 oignon émincé

2 gousses d’ail

2 c. à soupe d’huile d’olive

20 g beurre