Nous poursuivrons notre lecture ce mercredi 13 février à 10 heures, en salle A11.213, avec la page 197.
Nous nous arrêterons sur la démonstration de la proposition 4.16 (quatre propriétés des ensembles maximaux lambda-cohérents).
Si possible, nous nous lancerons aussi à l'assaut du Lemme 4.17 (Lemme de Lindenbaum), mais nous n'aurons sans doute malheureusement pas le temps d'en venir à bout.