L'objet de cette thèse est l'étude des liens existant entre la combinatoire de l'écriture d'un nombre réel en base entière ou sous la forme d'une fraction continue et le caractère algébrique ou transcendant de ce nombre réel (une conjecture de Borel prévoit que tout irrationnel algébrique est un nombre absolument normal: ses écritures en bases entières ont la même propriété que celle d'une suite aléatoire de chiffres).

L'objet de cette thèse est l'étude d'une classe de séries entières solutions de certaines équations fonctionnelles, dites mahlériennes. Ces séries interviennent en combinatoire avec des problèmes de comptage de mots et en analyse d'algorithmes où elles sont liées aux récurrences diviser pour régner. La résolution des équations mahlériennes est fondée sur les propriétés des fractions rationnelles vis à vis de l'opérateur fondamental, analogue de la dérivation pour les équations différentielles, et sur l'arithmétique des opérateurs sous-jacents à ces équations. Les méthodes décrites fournissent à la fois des procédés effectifs de calcul et des résultats qualitatifs sur les propriétés de clôture de cette classe et, dans le cas complexe, sur les propriétés analytiques des solutions. Une sous-classe importante de séries mahlériennes est fournie par les séries B-régulières, généralisation des séries B-automatiques. Elles sont la traduction, via la numération en base B, des séries rationnelles en indéterminées non commutatives de la théorie des langages formels et héritent de leurs propriétés. On peut par exemple définir les notions de représentation linéaire, de rang et de matrice de Hankel. Sous certaines conditions simples, une série mahlérienne est B-régulière ; en particulier la plupart des récurrences diviser pour régner fournissent des séries B-régulières. L'analyse asymptotique des coefficients des séries mahlériennes complexes sàppuie sur une classification qui met en valeur l'importance des séries B-régulières, sur des techniques d'algèbre linéaire et sur des méthodes de théorie analytique des nombres. Les résultats obtenus permettent de traiter les exemples rencontrés dans la pratique. Ils montrent pour les séries B-régulières un lien entre le comportement asymptotique des coefficients et le spectre des représentations linéaires et dans beaucoup de cas un phénomène de périodicité en échelle logarithmique.

Nous nous plaçons dans le cadre de l'anneau des polynômes sur un corps fini. Si P est un polynôme de degré au moins 1, tout polynôme Q se décompose de manière unique sous la forme d'une combinaison linéaire de puissances de P, dont les coefficients sont des polynômes dont le degré est strictement inférieur à celui de P. À une telle décomposition, nous associons un mot que nous appelons la P-représentation du polynôme Q. Un ensemble de polynômes est alors qualifié de P-reconnaissable si il existe un automate fini déterministe qui accepte l'ensemble des P-représentations de ses éléments.<BR><BR> Dans cette thèse, nous montrons que les ensembles P-reconnaissables sont exactement ceux qui sont définissables par une formule du premier ordre dans une certaine structure S(P) basée sur un prédicat dépendant du polynôme P. Nous donnons aussi une caractérisation des ensembles P-reconnaissables en terme de suites P-automatiques. Nous apportons également une réponse partielle à la question de savoir quels sont les ensembles reconnaissables simultanément dans toutes les bases de degré au moins 1. Finalement, nous montrons que si P et Q sont deux polynômes de degré au moins 1 et multiplicativement indépendants, alors la multiplication est définissable dans la réunion des structures S(P) et S(Q).