Mise en place de l'abstraction des type. Modifications mise entre double (* *)
A savoir ne pas typer Entier comme un TypeOrdonne et expliciter t = int dans sa structure
Rajout des type couleur et arbre_bi dans la signature de Make pour pouvoir lire les ensembles... et non des <abstr>