\q1
\v=13
\v~=Par son commandement, il fait tomber la neige. 
\¬q1
\q2
\p~<<q2=2 et envoie rapidement les éclairs de son jugement. 
\¬q2
\¬v