Filet mignon de porc glacé au cidre

Ingrédients

• 1 lb filet mignon de porc (500 g) — Filet mignon.
  Filet mignon.

Marinade

• 330 ml cidre — Cidre de pomme doux alcoolisé, de type « hard cider » ; l'auteure utilise Rochdale Apple Cider (note 1). Le volume de 330 ml est aussi indiqué comme 11 onces liquides.
  Cidre de pomme doux alcoolisé, de type « hard cider » ; l'auteure utilise Rochdale Apple Cider (note 1). Le volume de 330 ml est aussi indiqué comme 11 onces liquides.
• 1 feuille laurier — Une feuille séchée ou deux feuilles fraîches.
  Une feuille séchée.
• 1 feuille laurier — Une feuille séchée ou deux feuilles fraîches.
  Deux feuilles fraîches.
• 2 c. à soupe miel
• 2 c. à soupe sucre roux
• 2 gousse ail — Haché.
  Haché.
• 1/2 c. à café sel
• poivre noir

Pour cuire

• 1 c. à soupe huile d'olive

Sauce

• 1 1/2 c. à soupe beurre
• 1 c. à soupe moutarde de Dijon
• sel et poivre
• sel et poivre