\q1 \v=20 \v~=Car son joug est un joug de fer, \¬q1 \q2 \p~<