\q1
\v=42
\v~=\w Ils|strong="H1992"\w* \w ne|strong="H3808"\w* \w se|strong="H3117"\w* \w sont|strong="H3027"\w* \w pas|strong="H3808"\w* souvenus \w de|strong="H3117"\w* \w sa|strong="H3117"\w* \w main|strong="H3027"\w*, 
\¬q1
\q2
\p~<<q2=2 \w ni|strong="H3117"\w* \w le|strong="H3027"\w* \w jour|strong="H3117"\w* \w où|strong="H3117"\w* \w il|strong="H3117"\w* \w les|strong="H3027"\w* \w a|strong="H3117"\w* \w rachetés|strong="H6299"\w* \w à|strong="H3117"\w* l'adversaire  ; 
\¬q2
\¬v