Gratin de côtes de porc avec choucroute