\q1
\v=4
\v~=\x c \xo 147.4  \xt És 40:26.\x*\w Il|strong="H3389"\w* \w compte|strong="H4487"\w* \w le|strong="H7121"\w* \w nombre|strong="H4557"\w* \w des|strong="H8034"\w* \w étoiles|strong="H3556"\w*, 
\¬q1
\q1
\p~<<q1=\w Il|strong="H3389"\w* \w leur|strong="H4557"\w* \w donne|strong="H7121"\w* \w à|strong="H7121"\w* \w toutes|strong="H5414"\w* \w des|strong="H8034"\w* \w noms|strong="H8034"\w*. 
\¬q1
\¬v