\v=3 \v~=Simon, qui s'appelait Thassi ; \¬v