"Sequence of characters of form redhibui" . . . . . . . . . .