\v=32
\v~=Environ cinq cents hommes de l'armée de Nicanor tombèrent, et le reste s'enfuit dans la ville de David. 
\¬v
\¬p