Author: France) Equipe de logique mathématique (Paris