France) Equipe de logique mathématique (Paris | lit.salon