Abstract FR:

On montre que dans une suite u minimale obtenue par substitution injective uniforme, tout mot lu dans u et de longueur assez longue admet une factorisation unique. Ce resultat permet de reconnaitre par un automate l'application qui a n associe p de n plus un, moins p de n, ou p de n designe le nombre de mots lus dans u, de longueur n