Il paraît que la semaine prochaine la fac est en vacances... Mais à coeurs vaillants, rien d'impossible^^
Donc, si vous n'êtes pas sur les pistes, sachez que vous nous trouverez le 20 février à 10 heures, même salle que d'habitude.
Nous nous sommes arrêtés, p.197, à la constuction de l'ensemble sigma+ comme preuve du lemme de Lindenbaum. Nous nous étions arrêtés après avoir jeté un rapide coup d'oeil aux quatre propriétés de sigma+ dont la preuve est laissée en exercice.
A première vue, ces preuves ne devraient pas poser trop de problèmes. Le but est donc d'arriver mercredi prochain avec leur rédaction "au propre".