Logique et mathématique — Gérard Potdevin