filet mignon choux fleur