\q1
\v=7
\v~=Car béni est le bois par lequel vient la justice ; 
\¬q1
\q2
\p~<<q2=2 
\¬v