Abstract FR:

Nous prouvons un resultat du a greendlinger en effectuant des reecritures sur certaines cartes planaires. Nous examinons ensuite la complexite des algorithmes mis en oeuvre. Dans le but d'obtenir une majoration du nombre de groupes definis par generateurs et n'ayant qu'une relation de definition, nous denombrons certaines familles de mots. Enfin, nous visualisons les objets combinatoires manipules ce qui nous amene a developper des algorithmes de dessin