Gibelette de porc à la diable cuite