Résolution d'équations dans les langages d'ordre — Gérard Huet