\q1
\v=17
\v~=Car son véritable commencement est le désir d'instruction ; 
\¬q1
\q2
\p~<<q2=2 et le désir d'instruction est l'amour. 
\¬q2
\¬v