\q1
\v=20
\v~=Heureux l'homme qui médite sur la sagesse, 
\¬q1
\q2
\p~<<q2=2 et qui raisonne par son intelligence. 
\¬q2
\¬v