Fini, je pense
Je pense que c'est definitivement fini, il faudrait appeler les tests pour type_class TestTC et ceux pour typing TestTY