04/09/14 (2h).

- Fiche gruyère n°0 : motivations, ensembles (définitions), propriétés et connecteurs logiques, raisonnements, quantificateurs.

- A faire pour le 05/09/14 : compléter les points 1,2,3 du paragraphe sur la récurrence de la FG n°0.