Logique Mathématique II Analyse non standard Ce cours est basé sur [Référénce]. Todo Introduction Réorganiser les notations. Lister dans macros_math Séparer en chapitres et sections dans des fichiers séparés. Compléter les preuves. Bibliographie.