France) Equipe de logique mathématique (Paris — Author | Lex | Lex