\v=41
\v~=\w Il|strong="G2532"\w* \w y|strong="G1722"\w* \w a|strong="G1722"\w* \w une|strong="G2532"\w* \w gloire|strong="G1391"\w* \w du|strong="G2532"\w* \w soleil|strong="G2246"\w*, \w une|strong="G2532"\w* \w autre|strong="G2532"\w* \w gloire|strong="G1391"\w* \w de|strong="G2532"\w* \w la|strong="G1722"\w* \w lune|strong="G4582"\w*, \w et|strong="G2532"\w* \w une|strong="G2532"\w* \w autre|strong="G2532"\w* \w gloire|strong="G1391"\w* \w des|strong="G2532"\w* étoiles  ; \w car|strong="G1063"\w* \w une|strong="G2532"\w* étoile \w diffère|strong="G1308"\w* \w d'une|strong="G1722"\w* \w autre|strong="G2532"\w* étoile \w en|strong="G1722"\w* \w gloire|strong="G1391"\w*. 
\¬v
\¬p