\q1
\v=7
\v~=\w à|strong="H6213"\w* \w celui|strong="H1419"\w* \w qui|strong="H5971"\w* \w a|strong="H6213"\w* \w fait|strong="H6213"\w* \w les|strong="H6213"\w* \w grandes|strong="H1419"\w* lumières, 
\¬q1
\q2
\p~<<q2=2 \w car|strong="H3588"\w* \w sa|strong="H6213"\w* \w bonté|strong="H2617"\w* \w est|strong="H2617"\w* \w éternelle|strong="H5769"\w* ; 
\¬q2
\¬v