\v=17
\v~=les fils de Baiterus, trois mille cinq ; les fils de Bethlomon, cent vingt trois ; 
\¬v