\v=10
\v~=car en vérité l'acte sera puni avec celui qui l'a commis. 
\¬q2
\q2
\p~<<q2=2 
\¬v