\v=10 \v~=et ils le firent. \¬p \p \p~<