\v=9
\v~=Il l'envoya avec cet impie d'Alcimus, qu'il établit grand prêtre, et il lui ordonna de se venger des enfants d'Israël. 
\¬v
\¬p