\q1
\v=17
\v~=Et de plus, ils ont été frappés par la perte de la vue. 
\¬q1
\q2
\p~<<q2=2 (comme l'étaient les autres à la porte du juste), 
\¬q2
\q2
\p~<<q2=2 quand, étant entouré de l'obscurité béante, 
\¬q2
\q2
\p~<<q2=2 ils ont chacun cherché le passage par leur propre porte. 
\¬q2
\¬v
\p
\¬p