\v=2 \v~=\w et|strong="H3068"\w* \w il|strong="H3068"\w* \w dit|strong="H1696"\w*  : \¬p \q1 \p~<