Type_class.ml presque terminé, quelques détails à fignoler
Type_class presque OK
Type_class presque OK