\q1
\v=25
\v~=Le destructeur leur a cédé, et ils ont eu peur ; 
\¬q1
\q2
\p~<<q2=2 car il suffisait de tester la colère. 
\¬q2
\¬v
\p
\¬p
\¬c