\v=25 \v~=Il leur envoya donc ce message : \¬p \p \p~<