\q1 \v=12 \v~=Comme sa miséricorde est grande, sa correction l'est aussi. \¬q1 \q2 \p~<