Cette thèse est divisée en trois parties. Dans une première partie, on donne une description nouvelle des points récurrents par chaînes d'un système dynamique comme ensemble d'Aubry projeté d'une barrière ultramétrique. Cette approche permet de munir l'ensemble des composantes transitives par chaînes d'une structure d'espace ultramétrique expliquant leur topologie totalement discontinue, et de retrouver un théorème célèbre de Charles Conley concernant l'existence de fonctions de Lyapunov décroissant strictement le long des orbites non-récurrentes par chaînes. Dans une deuxième partie, on développe une théorie d'Aubry-Mather pour les homéomorphismes d'un espace métrique compact. On introduit dans ce cadre un ensemble d'Aubry métrique, puis topologique, ainsi qu'un ensemble de Mañé. Ces notions, plus fines que la récurrence par chaînes, permettent de mieux comprendre les fonctions de Lyapunov d'un tel système dynamique. Dans une dernière partie, on montre un résultat général de densité de certains contre-exemples au théorème de Sard pour lesquels l'ensemble des points critiques est un arc topologique et on donne des applications dynamiques de ce résultat. Celles-ci sont liées à des problèmes d'unicité, à constantes près, des solutions KAM faibles (ou solutions de viscosité) de certaines équations d'Hamilton-Jacobi. / This thesis is divided into three parts. In the first part, we give a new description of chain-recurrence using an ultrametric barrier. This barrier allows to endow the space of chain-transitive components with an ultrametric structure, explaining its topology and leading to the famous result of Charles Conley about Lyapunov function decreasing along non chain-recurrent orbits. Most of the results, first given in the setting of a continuous map on a compact metric space are then generalised to multivalued map on arbitrary separable metric spaces. In the second part, we develop an Aubry-Mather theory for a homeomorphism on a compact metric space. In this setting, we introduce metric and topological Aubry set and Mañé set, allowing a better understanding of Lyapunov functions arising in such a dynamical system. In the last part, we prove a general density result for some counterexamples of Sard's theorem for which the set of critical points is a topological arc and we give applications to dynamics.

Dans cette thèse nous étudions la dynamique engendrée par une famille de flots Hamiltoniens. Un tel système dynamique à plusieurs générateurs est aussi appelé ‘polysystème’. Motivés par des questions liées au phénomène de la diffusion d’Arnold, notre objectif est de construire des trajectoires du polysystème qui relient deux régions lointaines de l’espace des phases. La thèse est divisée en trois parties.Dans la première partie, nous considérons le polysystème engendré par les flots discrétisés d’une famille d’Hamiltoniens Tonelli. En utilisant une approche variationnelle issue de la théorie KAM faible, nous donnons des conditions suffisantes pour l’existence des trajectoires souhaitées.Dans la deuxième partie, nous traitons le cas d’un polysystème engendré par un couple de flots Hamiltoniens à temps continu, dont l’étude rentre dans le cadre de la théorie géométrique du contrôle. Dans ce contexte, nous montrons dans certains cas la transitivité d’un polysystème générique, à l’aide du théorème de transversalité de Thom.La dernière partie de la thèse est dédiée à obtenir une nouvelle version du théorème de transversalité de Thom s’exprimant en termes d’ensembles rectifiables de codimension positive. Dans cette partie il n’est pas question de polysystèmes, ni d’Hamiltoniens. Néanmoins, les résultats obtenus ici sont utilisés dans la deuxième partie de la thèse / In this thesis we study the dynamics generated by a family of Hamiltonian flows. Such a dynamical system with several generators is also called ‘polysystem’.Motivated by some questions related to the phenomenon of Arnold diffusion, our aim is to construct trajectories of the polysystem which connect two far-apart regions of the phase space.The thesis is divided into three parts.In the first part, we consider the polysystem generated by the time-onemaps of a family of Tonelli Hamiltonians. By using a variational approach falling within the framework of weak KAM theory, we give sufficient conditions for the existence of the desired trajectories.In the second part, we address the case of a polysystem generated by twocontinuous-time Hamiltonian flows. This problem fits into the framework of geometriccontrol theory. In this context, we show in some cases the transitivity of a generic polysystem, by means of Thom’s transversality theorem.The third and last part of the thesis is devoted to the proof of a newversion of Thom’s transversality theorem, formulated in terms of rectifiable sets of positive codimension. Neither polysystems nor Hamiltonians are explicitly involved in this part. However, the results obtained here are used in the second part of the thesis.