filet mignon de porc au cidre et aux prunes