\v=11
\v~=Alors tous les païens sauront qu'il y a quelqu'un qui rachète et sauve Israël. 
\¬v
\¬p