\v=12 \v~=Parle-leur donc, et dis-leur : \¬v \¬p