\v=17
\v~=Holopherne lui dit : « Bois maintenant, et réjouis-toi avec nous. » 
\¬v
\¬p