\q1 \v=20 \v~=Même après s'être endormi, il a prophétisé, \¬q1 \q2 \p~<