Ribs de porc comtois, mariné et grillé