En attendant le retour du soleil, voici un délicieux filet mignon de porc aux champignons pour se faire plaisir facilement