Dans cette thèse, nous étudions les propriétés quantitatives de récurrence de certains systèmes dynamiques préservant une mesure infinie. Nous nous intéressons au premier temps de retour des orbites d'un système dynamique dans un petit voisinage de leurs points de départ. Tout d'abord, nous commençons par considérer un modèle jouet probabilistique pour éclairer la stratégie de nos preuves. On s'intéresse particulièrement au cas où la mesure est infinie, plus précisément, nous considérons les Z -extensions des sous-shift de type fini. Nous étudions le comportement asymptotique du premier temps de retour au voisinage de l'origine, et nous établissons des résultats de type de convergence presque partout, et aussi de convergence en loi par rapport à toute mesure de probabilité absolument continue par rapport à la mesure infinie. Dans ce travail, nous nous également intéressons à d'autres systèmes dynamiques. Nous considérons un flot Axiome A(gt)t sur une variété riemannienne M munie d'une mesure σ -finie μ. Nous supposerons que la mesure μ est une mesure d'équilibre pour (gt)t. Afin d'établir nos résultats, nous introduisons des notions de dynamique hyperbolique. En particulier, nous considérons la section de Markov qui a été introduite par Bowen et Ratner. / In this thesis, we study the quantitative recurrence properties of some dynamical systems preserving an infinite measure. We are interested in the first return time of the orbits of a dynamical system into a small neighborhood of their starting points. First, we start by considering a toy probabilistic model to clarify the strategy of our proofs. Our interest is when the measure is indeed infinite, more precisely we consider the Z-extensions of subshifts of finite type. We study the asymptotic behavior of the first return time near the origin, and we establish results of an almost everywhere convergence kind, and a convergence in distribution with respect to any probability measure absolutely continuous with respect to the infinite measure. In this work, we are also interested in another dynamicals systems. We consider an Axiom A flow (gt)t on a Riemannian manifold M endowed with a σ-finite measure μ. We will assume that the measure μ is an equilibrium measure for (gt)t. In order to establish our results, we introduce notions from hyperbolic dynamics. In particular, we consider the Markov section which was constructed by Bowen and Ratner.

Cette thèse a pour objet l'étude des invariants de type fini des sphères d'homologie rationnelle de dimension 3, et des nœuds homologiquement triviaux dans ces sphères. Les principaux résultats sont présentés dans le chapitre 2. Ils sont démontrés dans les chapitres 3 à 6. Le chapitre 3 est un article intitulé ''Finite type invariants of rational homology 3-spheres'', à paraître dans Algebraic & Geometric Topology. Il décrit le gradué associé à la filtration de l'espace vectoriel rationnel engendré par les sphères d'homologie rationnelle, définie par les chirurgies rationnelles préservant le lagrangien. Le chapitre 4 est un article intitulé ''On Alexander modules and Blanchfield forms of null-homologous knots in rational homology spheres'', publié dans Journal of Knot Theory and its Ramifications. Il contient la classification des modules d'Alexander des nœuds homologiquement triviaux dans les sphères d'homologie rationnelle, et une étude des formes de Blanchfield définies sur ces modules. Dans la suite, on considère les paires (M,K) formées d'une sphère d'homologie rationnelle M et d'un nœud K homologiquement trivial dans M. Dans le chapitre 5, on montre que deux telles paires ont des modules d'Alexander rationnels munis de leurs formes de Blanchfield isomorphes si et seulement si elles s'obtiennent l'une de l'autre par une suite finie de chirurgies rationnelles nulles préservant le lagrangien, c'est-à-dire effectuées sur des corps en anses d'homologie rationnelle homologiquement triviaux dans le complémentaire du nœud. Dans le chapitre 6, on étudie le gradué associé à la filtration de l'espace vectoriel rationnel engendré par les paires (M,K) définie par les chirurgies rationnelles nulles préservant le lagrangien. Ces deux derniers chapitres comportent des travaux en progrès.

Cette thèse a pour objet l'étude des invariants de type fini des sphères d'homologie rationnelle de dimension 3, et des nœuds homologiquement triviaux dans ces sphères. Les principaux résultats sont présentés dans le chapitre 2. Ils sont démontrés dans les chapitres 3 à 6. Le chapitre 3 est un article intitulé ``Finite type invariants of rational homology 3-spheres'', à paraître dans Algebraic & Geometric Topology. Il décrit le gradué associé à la filtration de l'espace vectoriel rationnel engendré par les sphères d'homologie rationnelle, définie par les chirurgies rationnelles préservant le lagrangien. Le chapitre 4 est un article intitulé ``On Alexander modules and Blanchfield forms of null-homologous knots in rational homology spheres'', publié dans Journal of Knot Theory and its Ramifications. Il contient la classification des modules d'Alexander des nœuds homologiquement triviaux dans les sphères d'homologie rationnelle, et une étude des formes de Blanchfield définies sur ces modules. Dans la suite, on considère les paires (M,K) formées d'une sphère d'homologie rationnelle M et d'un nœud K homologiquement trivial dans M. Dans le chapitre 5, on montre que deux telles paires ont des modules d'Alexander rationnels munis de leurs formes de Blanchfield isomorphes si et seulement si elles s'obtiennent l'une de l'autre par une suite finie de chirurgies rationnelles nulles préservant le lagrangien, c'est-à-dire effectuées sur des corps en anses d'homologie rationnelle homologiquement triviaux dans le complémentaire du nœud. Dans le chapitre 6, on étudie le gradué associé à la filtration de l'espace vectoriel rationnel engendré par les paires (M,K) définie par les chirurgies rationnelles nulles préservant le lagrangien. Ces deux derniers chapitres comportent des travaux en progrès. / This thesis contains a study of finite type invariants of rational homology 3-spheres, and of null-homologous knots in these spheres. The main results are described in Chapter 2, and proved in Chapters 3 to 6. Chapter 3 is an article entitled ``Finite type invariants of rational homology 3-spheres'', to appear in Algebraic & Geometric Topology. In this article, we describe the graded space associated with the filtration of the rational vector space generated by rational homology spheres, defined by rational Lagrangian-preserving surgeries. Chapter 4 is an article entitled ``On Alexander modules and Blanchfield forms of null-homologous knots in rational homology spheres'', published in Journal of Knot Theory and its Ramifications. It contains the classification of the Alexander modules of null-homologous knots in rational homology spheres, and a study of the Blanchfield forms defined on these modules. In the sequel, we consider pairs (M,K) made of a rational homology sphere M and a null-homologous knot K in M. In Chapter 5, we prove that two such pairs have isomorphic rational Alexander modules endowed with their Blanchfield forms if and only if they can be obtained from one another by a finite sequence of null rational Lagrangian-preserving surgeries, i.e. Lagrangian-preserving surgeries performed on rational homology handlebodies homologically trivial in the complement of the knot. In Chapter 6, we study the graded space associated with the filtration of the rational vector space generated by pairs (M,K) defined by null rational Lagrangian-preserving surgeries. These last two chapters contain work in progress.

Un automate cellulaire probabiliste (ACP) est une chaîne de Markov sur un espace symbolique. Le temps est discret, les cellules évoluent de manière synchrone, et le nouvel état de chaque cellule est choisi de manière aléatoire, indépendamment des autres cellules, selon une distribution déterminée par les états d'un nombre fini de cellules situées dans le voisinage. Les ACP sont utilisés en informatique comme modèle de calcul, ainsi qu'en biologie et en physique. Ils interviennent aussi dans différents contextes en probabilités et en combinatoire. Un ACP est ergodique s'il a une unique mesure invariante qui est attractive. Nous prouvons que pour les AC déterministes, l'ergodicité est équivalente à la nilpotence, ce qui fournit une nouvelle preuve de l'indécidabilité de l'ergodicité pour les ACP. Alors que la mesure invariante d'un AC ergodique est triviale, la mesure invariante d'un ACP ergodique peut être très complexe. Nous proposons un algorithme pour échantillonner parfaitement cette mesure. Nous nous intéressons à des familles spécifiques d'ACP, ayant des mesures de Bernoulli ou des mesures markoviennes invariantes, et étudions les propriétés de leurs diagrammes espace-temps. Nous résolvons le problème de classification de la densité sur les grilles de dimension supérieure ou égale à 2 et sur les arbres. Enfin, nous nous intéressons à d'autres types de problèmes. Nous donnons une caractérisation combinatoire des mesures limites pour des marches aléatoires sur des produits libres de groupes. Nous étudions les mesures d'entropie maximale de sous-décalages de type fini sur les réseaux et sur les arbres. Les ACP interviennent à nouveau dans ce dernier travail.

Cette thèse traite de l’étude des objets reliés au codage de Bowen-Series du flot géodésiquepour des surfaces hyperboliques de volume fini. On démontre d’abord que le billard géodésiqueassocié à domaine fondamental even corners d’un groupe fuchsien cofini est conjuguéà une bijection du tore, appelée codage étendu, dont l’un des facteurs est la transformationde Bowen-Series. L’intérêt principal de cette conjugaison est qu’elle ne fait toujours intervenirqu’un nombre fini d’objets. On retrouve ensuite des résultats classiques sur le codage deBowen-Series : il est orbite-équivalent au groupe, ses points périodiques sont denses, et ses orbitespériodiques sont en bijection avec les classes d’équivalence d’hyperboliques primitifs dugroupe ; ce qui permet finalement de relier sa fonction zeta de Ruelle à la fonction zeta de Selberg.Les preuves de ces résultats s’appuient sur un lemme combinatoire qui abstrait la propriétéd’orbite-équivalence à des familles de relations qui peuvent être définies sur tout ensemble surlequel agit le groupe. Il est aussi possible de conjuguer le codage étendu à un sous-shift detype fini, sauf pour un ensemble dénombrable de points. Enfin, on prouve que les distributionspropres pour la valeur propre 1 de l’opérateur de transfert sont les distributions de Helgason defonctions propres du laplacien sur la surface, puis que l’on peut associer à toute telle distributionpropre une fonction propre non triviale de l’opérateur de transfert et que ce procédé admet uninverse dans certains cas. / This thesis focuses on the study of the objects linked to the Bowen-Series coding of the geodesicflow for hyperbolic surfaces of finite volume. It is first proved that the geodesic billiardassociated with an even corners fundamental domain for a cofinite fuchsian group is conjugatedwith a bijection of the torus, called extended coding, one factor of which is the Bowen-Seriestransform. The sharpest property of that conjugacy is that it always only involves a finite numberof objects. Some classical results about the Bowen-Series coding are then rediscovered : itis orbit-equivalent with the group, its periodic points are dense, and its periodic orbits are inbijection with conjugacy classes of primitive hyperbolic isometries ; which eventually links itsRuelle zeta function to the Selberg zeta function. The proofs of those results use a combinatoriallemma that abstracts the orbit-equivalence property to families of relations that can be definedon every set on which the group acts. The extended coding is also proved to be conjugated witha subshift of finite type, except for a countable set of points. Finally, it is shown that eigendistributionsof the transfer operator for the eigenvalue 1 are the Helgason boundary values ofeigenfunction of laplacian on the surface, plus that one can associate to each such eigendistributiona non-trivial eigenfunction of the transfer operator and that this process has a reciprocalin some cases.