\v=10
\v~=comme un navire traversant l'eau agitée, 
\¬q2
\q2
\p~<<q2=2 dont on ne trouve aucune trace une fois qu'elle est passée, 
\¬q2
\q2
\p~<<q2=2 aucune trace de sa quille dans les vagues. 
\¬q2
\¬v