\q1
\v=2
\v~=Qui peut compter le sable des mers, 
\¬q1
\q2
\p~<<q2=2 les gouttes de pluie, 
\¬q2
\q2
\p~<<q2=2 et les jours de l'éternité ? 
\¬q2
\¬v