\q1 \v=2 \v~=\w Ouvrez|strong="H6605"\w* \w les|strong="H8104"\w* \w portes|strong="H8179"\w*, \w pour|strong="H8104"\w* \w que|strong="H1471"\w* \w la|strong="H8104"\w* \w nation|strong="H1471"\w* \w juste|strong="H6662"\w* puisse \w entrer|strong="H3318"\w*  : \¬q1 \q2 \p~<