\q1
\v=14
\v~=Un ami fidèle est une défense solide. 
\¬q1
\q2
\p~<<q2=2 Celui qui l'a trouvé a trouvé un trésor. 
\¬q2
\¬v