\q1
\v=17
\v~=Combien de fois, et de combien de fois, il sera moqué ! \f + \fr 20.17  \ft  \f* 
\¬v
\¬q1
\p
\¬p