\q1
\v=5
\v~=Car aucun roi n'a eu un commencement différent, 
\¬q1
\q2
\p~<<q2=2 
\¬v