\v=17
\v~=Ils se reposèrent le quatorze du même mois, et le célébrèrent comme jour de repos avec joie et allégresse. 
\¬v
\¬p