Filet mignon de porc séché au poivre et aux herbes