En 2003, Kechris, Pestov et Todorcevic démontrèrent que la structure de certains espaces métriques - dits ultrahomogènes - est intimement liée au comportement combinatoire de la classe de leurs sous-espaces métriques finis. La présente thèse a pour but d'explorer les différents aspects de cette connexion. Dans la première partie, la notion d'ultrahomogénéité métrique et les espaces ultrahomogènes complets séparables les plus remarquables, à savoir la sphère unité S_H de l'espace de Hilbert, l'espace de Baire et la sphère d'Urysohn S_U (à isométrie près, le seul espace complet séparable ultrahomogène et universel pour la classe des espaces métriques séparables de diamètre inférieur à 1) sont présentés. Dans la seconde partie, la notion de classe de Ramsey d'espaces métriques finis ordonnés est introduite et mise en lien avec les propriétés dynamiques des groupes d'isométries des espaces ultrahomogènes. Une importance particulière est attachée au théorème de Nesetril et à sa conséquence (originalement due à Pestov) selon laquelle toute action continue du groupe des autoisométries de S_U sur un compact admet un point fixe. Des résultats analogues sont ensuite obtenus dans d'autres cas, en particulier les espaces ultramétriques et l'espace de Baire. La troisième partie est quant à elle axée sur la notion de stabilité par oscillations. Pour la sphere de l'espace de Hilbert, la stabilité par oscillations n'est pas satisfaite ; il sagit d'un résultat essentiel en analyse fonctionnelle dû à Odell et Schlumprecht et équivalent à l'existence d'une application uniformément continue f de S_H dans [0,1] qui ne stabilise (ne devient presque constante) sur aucune copie isométrique de S_H dans S_H. En revanche, pour la majorité des autres espaces séparables ultrahomogènes, rien ne permet de démontrer ou de réfuter la stabilité par oscillations. C'est à ce problème qu'est consacré l'essentiel de la dernière partie. Cela conduit à la caractérisation complète des espaces ultramétriques séparables ultrahomogènes stables par oscillations et à une solution partielle dans le cas de la sphère d'Urysohn S_U.

Cette thèse comporte deux parties, axées sur des aspects différents de la géométrie lorentzienne. La première partie porte sur les groupes d'isométries de surfaces lorentziennes globalement hyperboliques spatialement compactes, particulièrement lorsque le groupe exhibe une dynamique non triviale (action non propre). Le groupe d'isométries agit naturellement sur le cercle par difféomorphismes, et les résultats principaux portent sur la classification de ces représentations. Sous une hypothèse sur le bord conforme, on obtient une conjugaison par homéomorphisme avec l'action projective d'un sous-groupe de PSL(2,R) ou de l'un de ses revêtements finis. La différentiabilité de la conjuguante est étudiée, avec des résultats qui garantissent une conjugaison dans le groupe de difféomorphismes du cercle dans certains cas. On donne également des contre-exemples à l'existence d'une conjugaison différentiable, y compris pour des groupes ayant une dynamique riche. Ces constructions s'appuient sur l'étude de flots hyperboliques en dimension trois. Sans l'hypothèse sur le bord conforme, on obtient une semi conjugaison et un isomorphisme de groupes. On construit également des exemples pour lesquels il n'existe pas de conjugaison topologique. La seconde partie de cette thèse étudie un espace-temps vu comme un système dynamique multi-valuée : à un point on associe sont futur causal. Cette approche, déjà présente dans les travaux de Fathi et Siconolfi, permet de concrétiser le lien entre fonctions de Lyapunov en systèmes dynamiques et fonctions temps. Le résultat principal est une version lorentzienne du Théorème de Conley : on peut définir l'ensemble récurrent par chaînes d'un espace-temps, et il existe une fonction continue croissante le long de toute courbe causale orientée vers le futur, strictement croissante si le point de départ de la courbe n'est pas dans l'ensemble récurrent par chaînes. Ces techniques s'adaptent aussi dans un espace-temps stablement causal, ce qui permet de donner une nouvelle preuve d'une partie du Théorème d'Hawking.

Cette thèse comporte deux parties, axées sur des aspects différents de la géométrie lorentzienne. La première partie porte sur les groupes d’isométries de surfaces lorentziennes globalement hyperboliques spatialement compactes, particulièrement lorsque le groupe exhibe une dynamique non triviale (action non propre). Le groupe d'isométries agit naturellement sur le cercle par difféomorphismes, et les résultats principaux portent sur la classification de ces représentations. Sous une hypothèse sur le bord conforme, on obtient une conjugaison par homéomorphisme avec l'action projective d'un sous-groupe de PSL(2,R) ou de l'un de ses revêtements finis. La différentiabilité de la conjuguante est étudiée, avec des résultats qui garantissent une conjugaison dans le groupe de difféomorphismes du cercle dans certains cas. On donne également des contre-exemples à l'existence d'une conjugaison différentiable, y compris pour des groupes ayant une dynamique riche. Ces constructions s'appuient sur l'étude de flots hyperboliques en dimension trois. Sans l'hypothèse sur le bord conforme, on obtient une semi conjugaison et un isomorphisme de groupes. On construit également des exemples pour lesquels il n'existe pas de conjugaison topologique. La seconde partie de cette thèse étudie un espace-temps vu comme un système dynamique multi-valuée : à un point on associe sont futur causal. Cette approche, déjà présente dans les travaux de Fathi et Siconolfi, permet de concrétiser le lien entre fonctions de Lyapunov en systèmes dynamiques et fonctions temps. Le résultat principal est une version lorentzienne du Théorème de Conley : on peut définir l'ensemble récurrent par chaînes d'un espace-temps, et il existe une fonction continue croissante le long de toute courbe causale orientée vers le futur, strictement croissante si le point de départ de la courbe n'est pas dans l'ensemble récurrent par chaînes. Ces techniques s'adaptent aussi dans un espace-temps stablement causal, ce qui permet de donner une nouvelle preuve d'une partie du Théorème d'Hawking. / This thesis is divided into two parts, dealing with two different aspects of Lorentzian geometry. The first part deals with isometry groups of globally hyperbolic spatially compact Lorentz surfaces, especially when it has a non trivial dynamical behavior (non proper action). The isometry group acts on circle by diffeomorphisms, and the main results of this part concern the classification of these actions. Under a hypothesis on the conformal boundary, we show that they are topologically conjugate to the projective action of a subgroup of PSL(2,R), or one of its finite covers. The differentiability of the conjugacy is studied, with some results giving a differentiable conjugacy under additional hypotheses. We also give counter examples to such a differentiable conjugacy, even for groups with rich dynamics. These constructions use hyperbolic flows on three manifolds. Without the hypothesis on the conformal boundary, we obtain a semi conjugacy and a group isomorphism. We also give examples where a topological conjugacy cannot exist. In the second part of this thesis, we see a spacetime as a multi valued dynamical system: we map a point to its causal future. This point of view was already adopted by Fathi and Siconolfi, and it gives a concrete meaning to the link between Lyapunov functions in dynamical systems and time functions. The main result is a Lorentzian version of Conley's Theorem: we define the chain recurrent set of a spacetime, and construct a continuous function that increases along future directed causal curves outside the chain recurrent set, and that is non decreasing along other future curves. These techniques also apply to the stably causal setting, and we obtain a new proof of a part of Hawking's Theorem.