Filet mignon de porc aux petits légumes sauce à la soupe