Filet mignon de porc à la bière

Ingrédients

• 1 filet mignon
• 4 carottes
• 1 poireau
• 4 grosses pommes de terre
• 1 bouteille de 25 cl de bière
• 1 oignon
• 3 gousses d'ail
• 2 cuillères à café de fond de veau "Maggi"
• Herbes de provence
• Poivre
• Huile d'olive