\v=4
\v~=Judas, qui s'appelait Maccabée ; 
\¬v