Il est bien A(c)tabli que le calcul formel permet de vA(c)rifier des conjectures, des dA(c)monstrations, des formules longues et pA(c)nibles. L'innovation est qu'avec quelques opA(c)rations A(c)lA(c)mentaires sur des suites de symboles 0 et 1, on capte aussi, de faAon exacte, de nouvelles formules, identitA(c)s remarquables et conjectures insolites. Dans ce travail, nous illustrons cette derniA]re assertion en proposant des algorithmes via la combinatoire des mots de Lyndon. Nous montrons d'abord que l'algA]bre des polylogarithmes est isomorphe A celle du mA(c)lange et nous en tirons des...