La première partie de cette thèse présente le cadre des équations différen- tielles à retard. Ces équations apparaissent notamment dans des modélisations de phénomènes physiques (calcul de marées) et physiologiques. La recherche de forme normale d'équation différentielle à retard est rendue difficile du fait de la dimension infinie de l'espace des conditions initiales. On présente une méthode de calcul due à T. Faria qui permet de réduire cette difficulté en utilisant des variétés centrales de dimension finie, sur lesquelles on peut faire un calcul de forme normale « classique ». On étend ensuite ce résultat à l'aide d'une méthode de G. Gaeta permettant la renormalisation de formes normales usuelles, pour des équations différentielles ordinaires. En utilisant ces deux méthodes, on démontre un théorème donnant l'existence d'une forme renormalisée d'équation différentielle à retard. Dans une deuxième partie, on présente et on étudie le formalisme moulien développé par Jean Ecalle. On utilise ce formalisme pour la recherche de formes normales de champs de vecteurs, et on l'applique à des champs hamiltoniens en coordonnées cartésiennes, puis en coordonnées action-angle. On obtient ainsi une nouvelle démonstration de la version formelle du théorème de Kolmogorov et du théorème de Birkhoff. On présente également une feuille de calcul avec Maple mettant en œuvre certains de ces calculs, et témoignant ainsi de la remarquable aptitude du formalisme moulien à être utilisé dans les logiciels de calcul formel.

Ce travail de thèse porte principalement sur l'utilisation du calcul moulien et de la technique d'arborification introduits par Jean Ecalle dans les années 70 et leurs applications à l'étude des systèmes dynamiques discrets ou continus.L'une des contributions est une étude systématique des conditions sous lesquelles l'arborification permet de restaurer la convergence de séries formelles via l'introduction d'une notion d'invariance d'un moule sous arborication. Ces résultats permettent de donner une preuve détaillée du théorème de Brjuno de linéarisation analytique des champs de vecteurs telle qu'elle est proposée par Jean Ecalle dans son article "Singularités non abordables par la géométrie". Ces résultats ont été obtenus en collaboration avec Dominique Manchon (Université de Clermont Ferrand) et Jacky Cresson.La puissance du calcul moulien est ensuite illustrée par la résolution presque complète de la conjecture de Jarque-Villadelprat sur les centres isochrones Hamiltoniens. Cette conjecture stipule qu'il n'existe pas de champs de vecteurs polynomiaux du plan de degré pair qui soit hamiltonien. L'examen de la structure algébrique de la correction, introduite dans les années 90 par G. Gallavotti et généralisée ensuite par Jean Ecalle et Bruno Vallet, et son calcul explicite via le calcul moulien, nous ont permis d'obtenir des conditions explicites d'obstructions à l'isochronisme. L'aspect algébrique et combinatoire de ces objets et méthodes conduisent naturellement à une classication des conditions de centre via une notion de complexité. L'arborication quand à elle permet l'unification de nombreuses approches et une simplication de divers travaux, notamment ceux de J.C.Butcher autour de la structure algébrique des méthodes de Runge-Kutta qui a induit ce que les numériciens appellent des B-séries. En étudiant la structure algébrique de l'opérateur de substitution associé à un difféomorphisme, en particulier celui relié à une méthode de Runge-Kutta et celui associé à la solution de l'équation diérentielle sous-jacente, on présente le codage de Butcher comme une traduction particulière de l'arborification directe de l'opérateur de substitution. Notons que ce phénomène est large et permet d'inclure les travaux plus récents sur l'approche par trajectoires rugueuses des solutions d'équations différentielles stochastiques.Une seconde partie de la thèse concerne la recherche des groupes de symétries de Lie des tissus du plan en suivant une approche d'Alain Hénaut (Université de Bordeaux). Ce travail nous a permis de préciser la relation entre la dimension de ces groupes de symétries et le caractère linéarisable ou hexagonale des tissus du plan. Dans le cas des arrangements de droites, on obtient ainsi une relation profonde entre le module de dérivations de Saito associé à l'arrangement et le groupe de symétrie du tissu associé. / This thesis work mainly focuses on the use of the mould calculus and the technic of arborification which had been introduced both by J.Ecalle in the seventies and theirs applications to the study of continuous or discrete systems.One of the contributions is the systematic study of conditions under which the arborification allows to reestablish the convergence of formal series via introduction of a notion of invariance of mould under arborification. These results allow to give a detailed proof of Brjuno Theorem of analytic linearizability of vector fields as it is proposed by J.Ecalle in his article "Singularité non abordable par la géométrie". These results were obtained jointly with Dominique Manchon (University of Clermont Ferrand) and Jacky Cresson.The power of the mould calculus is then illustrated by an almost complete resolution of the Jarque-Villadelprat's conjecture about Hamiltonian Isochronous centers. This conjecture states that there is not existing polynomial vector fields in the plane of odd degree which are Hamiltonian. The study of the algebraic structure of the correction, introduced in the nineties by G.Gallavotti and then generalized by J.Ecalle and B.Vallet and its explicit computation via mould calculus, enables us to obtain explicit conditions of obstruction to isochronicity. The algebraic and combinatoric aspect of these objects and methods brings naturally to the classification of center conditions through a notion of complexity. The arborification allows to the unification of different approaches and a simplicification of different works, especially those of J.C.Butcher about algebraic structures of Runge-kutta methods, who had introduced that is called B-series by numerical mathematicians. Studying the algebraic structure of the substitution operator associated to a diffeomorphism, especially the one related to a Runge-Kutta method and the one which is associated to the solution of the underlying differential equations, we present the Butcher's encoding as a special translation of a direct arborification of the substitution automorphism. We can conclude that this phenomenon is wide and allows to include more recent studies on the approach by rough path of stochastic differential equations.A second part of this thesis involves the research of Lie group of symmetries of planar webs following Hénaut's approach (University of Bordeaux).This work allows to precise the relation between the dimension of the groups of symmetries and the linearizability or hexagonal character of planar webs. In the the case of line arrangement, we obtain a depthful relation between the modulus of derivations of Saito associated to the line arrangement and the group of symmetries of the associated web.

L'application exponentielle duale est une façon d'encoder les matrices de Stokes d'une connexion sur un fibré trivial sur la sphère de Riemann avec deux pôles : un pôle double en 0 et un pôle simple en l'infini.On donne ici une formule pour l'application exponentielle duale comme une série formelle non commutative. D'autres généralisations de cette formule sont données. / The exponential dual map is a way to encode Stokes data of a connection on a trivial vector bundle on the Riemann sphere with two poles: one double pole at 0 and one simple pole at infinity.We give here a formula for the exponential dual map expressed as a non commutative serie. Others generalizations of this formula are given.

Ce travail comprends deux parties indépendantes, mais intimement liées. La première partie concerne le calcul et l'évaluation numérique des invariants holomorphes des difféomorphismes tangents à l'identité, dans le cas-type. On y expose notamment trois méthodes de calculs numériques, dont l'une est basée sur une formule explicite des invariants. Celle-ci résulte de l'évaluation de l'application de cornes 7[+, dont les ingrédients de base sont des rationnels, des coefficients de Taylor du difféomorphisme étudié et des multitangentes. La seconde partie concerne l'étude des multitangentes et des relations les liant entre elles. Il s'agit de fonctions I-périodiques, généralisant les séries d'Eisenstein, et définissant un moule symétr~l. D'autres relations existent, tels la réduction en monotangentes qui indique un lien profond entre les multitangentes et les multizêtas. Des propriétés et conjectures de nature purement algébrique, arithmétique ou analytique sont ensuite exposées.

Le problème de la resommation réelle consiste à associer à une série divergente réelle unefonction analytique qui lui est asymptotique sur un secteur du plan complexe bissecté par unedes deux demi-directions réelles. Jean Ecalle a esquissé, pour le résoudre, les grandes lignesd’une théorie dite des bonnes moyennes uniformisantes. Celle-ci est basée sur plusieurs de sesdécouvertes : le calcul moulien simple et arborifié, les opérateurs étrangers et les fonctionsrésurgentes.Nous nous proposons dans cette thèse de détailler complètement la théorie des moyennesd’Ecalle. Il s’agit de l’appliquer à la resommation de la conjuguante formelle des champsanalytiques réels de type noeud-col et des difféomorphismes analytiques tangents à l’identitédans leur classe formelle la plus simple. Une partie conséquente de la thèse est consacrée àla théorie de l’arborification. C’est l’un des ingrédients majeurs de la théorie des moyennesmais pour laquelle Ecalle n’avait délivré que peu de détails.Un chapitre de la thèse traite de géométrie o-minimale. Il s’agit de démontrer l’existenced’un « isomorphisme formel »entre les familles de germes d’ensembles semi-analytiques issusde deux classes quasi-analytiques isomorphes. Bien que ce chapitre soit disjoint de la théoriedes moyennes, il est probable que cette dernière permette à l’avenir d’obtenir de nouvellesclasses quasi-analytiques.Enfin, nous proposons de faire le lien entre un procédé de resommation réelle de la conjuguanteformelle du noeud-col réel élaboré par R. Schäfke et les moyennes d’Ecalle. / Pas de résumé en anglais.

Ce travail comprends deux parties indépendantes, mais intimement liées. La première partie concerne le calcul et l'évaluation numérique des invariants holomorphes des difféomorphismes tangents à l'identité, dans le cas-type. On y expose notamment trois méthodes de calculs numériques, dont l'une est basée sur une formule explicite des invariants. Celle-ci résulte de l'évaluation de l'application de cornes 7[+, dont les ingrédients de base sont des rationnels, des coefficients de Taylor du difféomorphisme étudié et des multitangentes. La seconde partie concerne l'étude des multitangentes et des relations les liant entre elles. Il s'agit de fonctions I-périodiques, généralisant les séries d'Eisenstein, et définissant un moule symétr~l. D'autres relations existent, tels la réduction en monotangentes qui indique un lien profond entre les multitangentes et les multizêtas. Des propriétés et conjectures de nature purement algébrique, arithmétique ou analytique sont ensuite exposées. / This work contains two independant parts, witch are deeply very closed. The first part deals with the calculation and the numerical evaluation of the holomor¬phic invariants of tangent to identity diffeomorphisms, in the type-case. ln particular, we display here three methods of numerical computation whose the last is based on an ex¬plicit formula of invariants. These result of calculation of the horn map 7[+, whose basics components are sorne rationnaIs, sorne Taylor coefficients of the diffeomorphism which is studied and multitangents. The second part deals with a général study of multitangents and relations between them. They are I-periodic functions, generalizing Eisenstein series and defining a symetr~l mould. There are others relations, like the reduction into monotangents which point out to us a profound link between multitangents and multiz~tas values. Properties and conjec¬tures of purely algebraic, arithmetical or analytical kirig are then explain