\q1 \v=8 \v~=mais l'examen minutieux qui s'applique aux puissants est strict. \¬v \¬q1