Cours de logique mathématique... 3 — Roland Fraïssé