\q1
\v=17
\v~=Tout pain est doux pour un fornicateur. 
\¬q1
\q2
\p~<<q2=2 Il ne cessera pas jusqu'à sa mort. 
\¬q2
\¬v