Porc braisé aux légumes marinés