Séminaire sur les structures algébriques ordonnées — Équipe de logique mathématique. Paris