\v=17 \v~=\w C'est|strong="G2532"\w* \w pourquoi|strong="G1352"\w* \¬p \q1 \p~<