\v=17
\v~=\w Et|strong="G2532"\w*, \w les|strong="G2532"\w* \w ayant|strong="G2532"\w* \w laissés|strong="G2641"\w*, \w il|strong="G2532"\w* \w sortit|strong="G1831"\w* \w de|strong="G2532"\w* \w la|strong="G2532"\w* \w ville|strong="G4172"\w* \w pour|strong="G1519"\w* \w aller|strong="G1831"\w* \w à|strong="G1519"\w* \w Béthanie|strong="G1563"\w*, \w où|strong="G2532"\w* \w il|strong="G2532"\w* passa \w la|strong="G2532"\w* nuit. 
\¬v
\¬p