\v=2 \v~=Son contenu est le suivant : \¬p \p \p~<