On étudie les relations algébriques sur le corps des nombres rationnels entre les nombres polyzêtas (généralisations à plusieurs indices des valeurs de la fonction zêta de Riemann aux entiers positifs).<br /><br />Après avoir dressé une liste de relations algébriques considérées comme élémentaires, j'explore l'algèbre des "polyzêtas formels" définie par ces relations (et elles seules). Je mets en évidence une structure de torseur sur l'ensemble DM des séries génératrices non-commutatives de polyzêtas "formels". Ce torseur est imité du torseur des associateurs, défini par Drinfel'd. Ils sont tous deux réalisés comme ensembles de séries formelles non-commutatives sur deux lettres et leurs lois d'actions sont données par les mêmes formules. On en déduit facilement que l'algèbre des polyzêtas formels est une algèbre de polynômes (théorème d'Écalle). L'intersection du groupe pro-unipotent DM et du groupe GRT de Drinfel'd (lié aux associateurs) est très grosse et il est naturel de conjecturer que ces groupes sont égaux.