\q1
\v=17
\v~=Car s'ils vivent longtemps, ils ne seront pas estimés, 
\¬q1
\q2
\p~<<q2=2 et à la fin, leur vieillesse sera sans honneur. 
\¬q2
\¬v