Recettes elle filet mignon de porc

5 échalotes, 4 gousses d’ail, 2 c. à soupe d’huile d’arachide, 750 g de filet mignon ou d’échine, 1 petit piment rouge, 5 tiges de citronnelle, 1 ½ c. à café de sucre, 1 ½ c. à café de poivre, 1 ½ c. à soupe de nuoc-mâm, 1 ½ c. à café de sel, 1 ½ c. à soupe de vin de riz chinois

3 feuilles de laurier, 20 cl de porto, 1 pincée de thym, 30 g de cèpes séchés, 3 échalotes hâchées, 1 gousse d'ail hâchée, 1 c. à soupe de fécule de pommes de terre ou de farine de maïs, 20 cl de crème fraîche à 3 % de MG, 50 cl d'eau chaude, 2 c. à soupe de concentré de tomates, 1 cube pot-au-feu de boeuf dégraissé, sel, poivre