Topological_sort semble marcher. Besoin de tester le type_class.ml et erreur plus précise serait agréable. Pas difficile, juste besoin de se mettre d'accord.