Recherche:

Utilise des balises de code !

-----



Substituer :: Substi -> Terme -> Terme
Substituer [] term = term

Pour termToString, je ne sais pas ce que c'est censé faire, mais je remarque que tu n'affiches pas les sous-termes d'un nom, c'est voulu ?

Si oui, alors tu pourrais te contenter de :


...

Peux-tu poster ton meilleur essai qu'on ait une idée de ce qui ne va pas ?