\q1 \v=23 \v~=Salomon se reposa donc avec ses pères. \¬q1 \q2 \p~<