Logique mathématique — Daniel Lascar, René Cori