Jarret de porc à la bavaroise, poêlé de choucroute et spätzles maison