\q1
\v=22
\v~=La joie du cœur est la vie de l'homme. 
\¬q1
\q2
\p~<<q2=2 La gaieté d'un homme prolonge ses jours. 
\¬q2
\¬v