\b
\q1
\v=16
\v~=\w Alors|strong="H3117"\w* \w la|strong="H3427"\w* \w justice|strong="H6666"\w* \w habitera|strong="H7931"\w* \w dans|strong="H3427"\w* \w le|strong="H3427"\w* \w désert|strong="H4057"\w*  ; 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H4941"\w* \w la|strong="H3427"\w* \w justice|strong="H6666"\w* \w restera|strong="H3427"\w* \w dans|strong="H3427"\w* \w le|strong="H3427"\w* \w champ|strong="H7704"\w* fructueux. 
\¬q2
\¬v