Filet de porc aux champignons

1 filet de porc
 1 gousse d'ail
 paprika
 2 c. à soupe de beurre
 1 tasse de champignons frais, tranchés mince
 3 c. à soupe de vin blanc ou de jus de citron
 Sel et poivre
 1/2 c. à thé de marjolaine ou de sarriette
 1 c. à soupe de farine
 1/2 tasse d'eau ou de consommé de boeuf

Frotter le filet de porc des deux côtés avec la gousse d'ail. Le saupoudrer de paprika et le faire dorer dans le beurre chaud à feu modéré.
Ajouter les champignons et les remuer vivement pour bien les enrober de beurre, puis ajouter le vin ou le jus de citron, le sel et le poivre, la marjolaine ou la sarriette.
Couvrir et laisser mijoter à peu près pendant 40 minutes ou jusqu'à ce que le filet soit tendre.
Mélanger la farine avec l'eau ou le consommé. Ajouter à la sauce du filet lorsque celui-ci est cuit.
Remuer sans arrêt en grattant le fond du poêlon jusqu'à ce que la sauce soit légère et crémeuse.
Assaisonner au goût.