Abstract FR:

Soit u = (u::(n))n appartient a n une suite strictement croissante d'entiers reconnaissables par un automate fini. On montre qu'une condition necessaire et suffisante pour que l'ensemble normal associe a u soit exactement r/q est que l'un au moins des sommets qui reconnait la suite u soit precede (au sens large) dans le graphe de l'automate par un sommet possedant au moins deux circuits fermes distincts. Cette condition peut se traduire qualitativement en disant que la suite u doit etre plus dense que toute suite exponentielle. On en deduit que le spectre de fourier-bohr de toute suite reconnaissable par un automate fini est inclus dans q