\q1 \v=9 \v~=Le nombre de jours d'un homme est de cent ans au maximum. \¬v \¬q1