Filet mignon de porc alsacien avec choucroute