Lors de la dernière séance, nous sommes finalement venus à bout, Aude et moi, de cette fameuse vérification facile que le lecteur était invité à faire à la page 196.
Nous en sommes arrivés à la conclusion que l'affirmation était effectivement facilement vérifiée si on acceptait "soundness". Bon, cela fait un gros "si", mais Blackburn, de Rijke et Venema nous ont permis de tenir "soundness" pour acquis grâce à leur remarque page 193 (juste après la définition 4.9).
C'est donc la conscience tranquille que nous pouvons continuer notre lecture du paragraphe 4.2. Rendez-vous le 13 février...