\q1
\v=7
\v~=Mais le juste, même s'il meurt avant son heure, sera en repos. 
\¬v
\¬q1