Filet mignon de porc, sauce aux girolles