Filet mignon de veau, sauce aux girolles, choupak choï