Mon type_class.ml
mes tests
Quelques changement dans errors.ml et ecriture plus lisible de type_class.ml