\q1
\v=7
\v~=La lune est le signe des jours de fête, 
\¬q1
\q2
\p~<<q2=2 une lumière qui s'éteint quand elle a terminé sa course. 
\¬q2
\¬v