Filet mignon de porc aux épices

Préparation

• Piquer le filet mignon à l'ail.
• Épluchez les oignons et coupez-les en lamelles.
• 
  Faites fondre le beurre, ajoutez l'huile, quand le mélange est chaud, ajoutez le filet mignon et les oignons.
• 
  Faites-les revenir dans le mélange bien chaud.
• 
  Quand le rôti est doré, ajoutez les tomates lavées et coupées en petits quartiers. Saupoudrez de raz el hanout et de paprika, salez et poivrez. Ajoutez l'eau.
• 
  Remuez bien et laissez cuire 45 minutes à feu doux.
• Remuez de temps en temps.
  Servez avec des pommes de terre vapeur.