\q1
\v=15
\v~=car la justice est immortelle, 
\¬q1
\q2
\p~<<q2=2 
\¬v