\q1
\v=15
\v~=Il n'y a rien qui puisse être pris en échange d'un ami fidèle. 
\¬q1
\q2
\p~<<q2=2 Son excellence est sans prix. 
\¬q2
\¬v