La connexion entre moyennabilité d'un groupe localement compact $G$ et l'injectivité de son algèbre de von Neumann $\LG$ a été étudié depuis des décennies, et représente l'une des connexions les plus importantes entre l'analyse harmonique et les algèbres d'opérateurs. Dans ce travail, nous clarifions cette connexion en montrant l'équivalence de moyennabilité de $G$ et l'injectivité de $\LG$ en tant que module d'opérateur sur l'algèbre de Fourier $A(G)$. En fait, nous établissons le résultat correspondant au niveau des groupes quantiques localement compacts $\G$, fournissant un nouvel outil pour le développement de l'analyse harmonique abstraite sur les groupes quantiques localement compacts. En appliquant le résultat principal, nous montrons qu'un sous-groupe quantique fermé d'un groupe quantique moyennable est moyennable, et nous donnons une preuve simplifiée qu'un groupe quantique compact est co-moyennable quand son duale est moyennable. Nous introduisons également une notion de moyennabilité intérieure pour les groupes quantiques localement compacts et nous étudions sa connexion à l'injectivité relative. Nous montrons que la moyennabilité intérieure de $\G$ entraîne l'injectivité relative de $\LIQH$ en tant que module d'opérateur sur $\LOQH$, et que l'inverse est vrai dans le cadre d'un groupe. Nos techniques nous permettent également de résoudre partiellement une question de Forrest, Lee et Samei concernant la projectivité relative d'opérateur de $A(G)$, ainsi que le problème ouvert de platitude relative d'opérateur de $A(G)$. Nous terminons en montrant l'auto dualité de platitude des algèbres de convolution des groupes quantiques localement compacts. / The connection between amenability of a locally compact group $G$ and injectivity of its group von Neumann algebra $\LG$ has been studied by many of the world's leading operator algebraists for decades. In this work we clarify this connection by showing the equivalence between amenability of $G$ and injectivity of $\LG$ as an operator module of the Fourier algebra $A(G)$. In fact, we prove a corresponding result for all locally compact quantum groups $\G$, providing a novel tool for the development of abstract harmonic analysis on locally compact quantum groups. We give several immediate applications, including a proof that closed quantum subgroups of amenable quantum groups are amenable, as well as a simplified proof that co-amenability and amenability of the dual are equivalent for compact quantum groups which avoids the use of modular theory, suggesting a potential avenue for generalization beyond the compact setting. We also introduce a notion of inner amenability for locally compact quantum groups and study its connection to relative injectivity. We obtain several new results which not only answer open questions, but provide new approaches from a homological perspective, including the self duality of biflatness for quantum group convolution algebras.

Cette thèse étudie la moyennabilité et la propriété de Liouville des groupes pleins-topologiques des systèmes de Cantor, des groupes d'échanges d'intervalles, et des groupes agissants sur les arbres enracinés. Dans le Chapitre 2, nous obtenons les premiers exemples de groupes simples, infinis, de type fini, tels que le bord de Poisson de toute marche aléatoire simple est trivial (la propriété de Liouville). Ces exemples sont des sous-groupes dérivés de groupes pleins topologiques d'une famille de sous-décalages minimaux. Nous montrons que si la complexité d'un sous-décalage (pas nécessairement minimal) est strictement sous-quadratique, toute mesure de probabilité symétrique de support fini sur le groupe plein-topologique est d'entropie asymptotique nulle. Dans le Chapitre 3, nous exhibons une famille de groupes pleins-topologiques de sous-décalages minimaux qui contiennent les groupes de Grigorchuk G_ω comme sous-groupes. Cette construction montre que le groupe plein-topologique d'un sous-décalage minimal peut avoir des sous-groupes de croissance intermédiaire, en répondant à une question de Grigorchuk. Dans le Chapitre 4 (basé sur un travail en commun avec K. Juschenko, N. Monod, M. de la Salle) nous étudions les actions extensivement moyennables, une notion qui est un outil pour montrer la moyennabilité des groupes. Comme application, nous montrons la moyennabilité des groupes d'échanges d'intervalles dont les angles de translations ont rang rationnel au plus 2. Nous obtenons aussi une caractérisation "de type Kesten" de la moyennabilité extensive d'une action, et nous l'utilisons pour donner une preuve courte, purement probabiliste du fait que les actions récurrentes sont extensivement moyennables. Nous étudions aussi la propriété de Liouville pour les groupes d'échanges d'intervalles, et nous montrons qu'il existe des groupes d'échanges d'intervalles tels que toute mesure de support fini non dégénérée a un bord non trivial. Dans le Chapitre 5 (basé sur un travail en commun avec G. Amir, O. Angel, B. Virág) nous montrons que les groupes agissant sur les arbres enracinés par automorphismes bornés ont la propriété de Liouville. En particulier cela inclut les groupes engendrés par des automates d'activité bornée. / This thesis deals with the Liouville property and amenability of topological full groups of Cantor systems, groups of interval exchanges, and groups acting on rooted trees. In Chapter 2, we provide the first examples of finitely generated, infinite simple groups that have trivial Poisson-Furstenberg boundary for simple random walks (the Liouville property). These arise as the derived subgroup of the topological full groups of a family of minimal subshifts. We show that if the complexity of a (non necessarily minimal) subshift grows strictly subquadratically, every symmetric and finitely supported probability measure on the topological full group has vanishing asymptotic entropy. In Chapter 3, we exhibit a family of topological full groups of minimal subshifts that contain Grigorchuk groups G_ω as subgroups. This shows that the topological full group of a minimal subshift can have subgroups of intermediate growth, answering a question of Grigorchuk. In Chapter 4 (based on a joint work with K. Juschenko, N. Monod, M. de la Salle), we study various features of extensively amenable group actions, a notion which is a tool to prove amenability of groups. As an application, we prove amenability of groups of interval exchanges whose angular components have rational rank at most 2. We also obtain a "Kesten-like" characterisation of extensive amenability in terms of the inverted orbit and use it give a short, probabilistic proof of the fact that recurrent actions are extensively amenable. Finally we study the Liouville property for groups of interval exchanges, and show that there are groups of interval exchanges that admit no finitely supported measure with trivial boundary. In Chapter 5 (based on a joint work with G. Amir, O. Angel, B. Virág), we establish the Liouville property for all groups acting on rooted trees by bounded automorphisms. This includes in particular groups generated by bounded automata. This strengthens results by various authors about amenability of these groups, some of which are based on proving the Liouville property in some special cases.

Cette thèse porte sur les propriétés d'approximation pour les groupes quantiques discrets et particulièrement sur la moyennabilité faible. Notre but est d'appliquer des techniques de théorie géométrique des groupes à l'étude des groupes quantiques. Nous définissons d'abord la moyennabilité faible dans le cadre des groupes quantiques discrets et nous développons une théorie générale en nous inspirant du cas classique. Nous nous attachons particulièrement à la notion de constante de Cowling-Haagerup. Nous définissons aussi une notion de moyennabilité relative qui nous permet de démontrer un résultat de stabilité supplémentaire. Un travail similaire est effectué pour la propriété de Haagerup. Enfin, nous abordons la question des produits libres de groupes quantiques faiblement moyennables. En nous inspirant des travaux de E. Ricard et X. Qu sur les inégalités de Kintchine, nous démontrons que si deux groupes quantiques discrets ont une constante de Cowling-Haagerup égale à 1, leur produit libre amalgamé sur un sous-groupe quantique fini a également une constante de Cowling-Haagerup égale à 1. Ensuite, nous donnons des exemples de groupes quantiques discrets faiblement moyennables. Nous utilisons les travaux de M. Brannan sur la propriété de Haagerup ainsi que des idées liées aux inégalités de Haagerup. Nous donnons une borne polynomiale pour la norme complètement bornée de certains projecteurs qui nous permet ensuite de "découper" les fonctions de M. Brannan pour prouver la moyennabilité faible. Enfin, nous appliquons des techniques d'équivalence monoïdale pour étendre ces résultats à d'autres classes de groupes quantiques, dont certains ne sont pas unimodulaires.

Cette thèse porte sur l'étude des groupes polonais vus comme groupes d'automorphismes de structures métriques. L'observation que tout groupe polonais non archimédien est le groupe d'automorphismes d'une structure dénombrable ultra homogène a en effet mené à des interactions fructueuses entre la théorie des groupes et la théorie des modèles. Dans le cadre de la théorie des modèles métriques, introduite par Ben Yaacov, Henson et Usvyatsov, cette correspondance a été étendue par Melleray à tous les groupes polonais. Dans cette thèse, nous étudions diverses facettes de cette correspondance. Le lien entre une structure et son groupe d automorphismes est particulièrement étroit dans le cadre des structures ℵ0-categoriques. En effet, le théorème de reconstruction d'Ahlbrandt-Ziegler permet de retrouver une structure ℵ0-categorique, à bi-interprètabilité près, à partir de son groupe d'automorphismes. Dans un travail en commun avec Itai Ben Yaacov, nous généralisons ce résultat aux structures métriques separablement catégoriques. Les structures dénombrables ultra homogènes ont de plus l avantage d'être complètement déterminées par leurs sous-structures finiment engendrées. Cela a notamment permis a Moore de donner une caractérisation combinatoire de la moyennabilité des groupes polonais non archimédiens. Nous étendons cette caractérisation à tous les groupes polonais et nous en déduisons que la moyennabilite est une condition Gδ. Toujours dans une optique de reconstruction, nous nous intéressons à la propriété de continuité automatique pour les groupes polonais. Sabok et Malicki ont introduit des conditions de nature combinatoire sur une structure métrique ultra homogène qui impliquent la propriété de continuité automatique pour son groupe d'automorphismes. Nous montrons que ces conditions passent à la puissance dénombrable, ce qui a pour conséquence que les groupes Aut(μ)N, U(l2)N et Iso(U)N satisfont la propriété de continuité automatique. Ces conditions sont un affaiblissement du fait d'avoir des amples génériques. Dans un travail en commun avec Francois Le Maitre, nous exhibons les premiers exemples de groupes connexes qui ont des amples génériques, ce qui répond à une question de Kechris et Rosendal / This thesis focuses on the study of Polish groups seen as automorphism groups of metric structures. The observation that every non-archimedean Polish group is the automorphism group of an ultrahomogeneous countable structure has indeed led to fruitful interactions between group theory and model theory. In the framework of metric model theory, introduced by Ben Yaacov, Henson and Usvyastov, this correspondence has been extended to all Polish groups by Melleray. In this thesis, we study various facets of this correspondence. The relationship between a structure and its automorphism group is particularly close in the setting of ℵ0-categorical structures. Indeed, the Ahlbrandt-Ziegler reconstruction theorem allows one to recover an ℵ0-categorical structure, up to bi-interpretability, from its automorphism group. In a joint work with Itai Ben Yaacov, we generalize this result to separably categorical metric structures. Besides, ultrahomogeneous countable structures have the advantage of being completely determined by their finitely generated substructures. In particular, this enabled Moore to give a combinatorial characterization of amenability for nonarchimedean Polish groups. We extend this characterization to all Polish groups and we deduce that amenability is a Gδ condition. Still in a reconstruction perspective, we are interested in the automatic continuity property for Polish groups. Sabok and Malicki introduced conditions of a combinatorial nature on an ultrahomogeneous metric structure that imply the automatic continuity property for its automorphism group. We show that these conditions carry to countable powers, which leads to the groups Aut(μ)N, U(l2)N and Iso(U)N satisfying the automatic continuity property. Those conditions are a weakening of the property of having ample generics. In a joint work with Francois Le Maitre, we exhibit the first examples of connected groups with ample generics, which answers a question of Kechris and Rosendal. Finally, in a joint work with Isabel Muller and Aristotelis Panagiotopoulos, we study the relative homogeneity of substructures in an ultrahomogeneous countable structure. We characterize it completely by a property of the types over the substructures: being determined by a finite set

Cette thèse s'inscrit dans l'étude de la KK-théorie équivariante par rapport à un groupe quantique localement compact. On généralise notamment certaines notions et certains résultats connus dans le cas des groupes : théorème de stabilisation, morphisme de descente, théorème de Green-Julg, K-moyennabilité. On cherche ensuite à introduire des outils géométriques utiles dans ce contexte, et on associe notamment à un groupe quantique discret et à un produit libre amalgamé de groupes quantiques discrets des objets qui peuvent s'interpréter comme des arbres quantiques. On étudie en particulier les opérateurs de Julg-Valette associés aux groupes quantiques libres de Wang-Banica : ce cas présente de nombreuses nouveautés par rapport au cadre classique, la principale étant la non-involutivité de l'opérateur de retournement des arêtes qui rend nécessaire la construction d'une représentation additionnelle du groupe quantique discret pour obtenir un élément de KK-théorie.

Dans cette thèse je m'intéresse à des propriétés de rigidité de certaines constructions d'algèbres de von Neumann. Ces constructions relient la théorie des groupes et la théorie ergodique au monde des algèbres d'opérateurs. Il est donc naturel de s'interroger sur la force de ce lien et sur la possibilité d'un enrichissement mutuel dans ces différents domaines. Le Chapitre II traite des actions Gaussiennes. Ce sont des actions de groupes discrets préservant une mesure de probabilité qui généralisent les actions de Bernoulli. Dans un premier temps, j'étudie les propriétés d'ergodicité de ces actions à partir d'une analyse de leurs algèbres de von Neumann (voir Theorem II.1.22 et Corollary II.2.16). Ensuite, je classifie les algèbres de von Neumann associées à certaines actions Gaussiennes, à isomorphisme près, en montrant un résultat de W*-Superrigidité (Theorem II.4.5). Ces résultats généralisent des travaux analogues sur les actions de Bernoulli ([KT08,CI10,Io11,IPV13]).Dans le Chapitre III, j'étudie les produits libres amalgamés d'algèbres de von Neumann. Ce chapitre résulte d'une collaboration avec C. Houdayer et S. Raum. Nous analysons les sous-Algèbres de Cartan de tels produits libres amalgamés. Nous déduisons notamment de notre analyse que le produit libre de deux algèbres de von Neumann n'est jamais obtenu à partir d'une action d'un groupe sur un espace mesuré.Enfin, le Chapitre IV porte sur les algèbres de von Neumann associées à des groupes hyperboliques. Ce chapitre est obtenu en collaboration avec A. Carderi. Nous utilisons la géométrie des groupes hyperboliques pour fournir de nouveaux exemples de sous-Algèbres maximales moyennables (mais de type I) dans des facteurs II_1. / The purpose of this dissertation is to put on light rigidity properties of several constructions of von Neumann algebras. These constructions relate group theory and ergodic theory to operator algebras.In Chapter II, we study von Neumann algebras associated with measure-Preserving actions of discrete groups: Gaussian actions. These actions are somehow a generalization of Bernoulli actions. We have two goals in this chapter. The first goal is to use the von Neumann algebra associated with an action as a tool to deduce properties of the initial action (see Corollary II.2.16). The second aim is to prove structural results and classification results for von Neumann algebras associated with Gaussian actions. The most striking rigidity result of the chapter is Theorem II.4.5, which states that in some cases the von Neumann algebra associated with a Gaussian action entirely remembers the action, up to conjugacy. Our results generalize similar results for Bernoulli actions ([KT08,CI10,Io11,IPV13]).In Chapter III, we study amalgamated free products of von Neumann algebras. The content of this chapter is obtained in collaboration with C. Houdayer and S. Raum. We investigate Cartan subalgebras in such amalgamated free products. In particular, we deduce that the free product of two von Neumann algebras is never obtained as a group-Measure space construction of a non-Singular action of a discrete countable group on a measured space.Finally, Chapter IV is concerned with von Neumann algebras associated with hyperbolic groups. The content of this chapter is obtained in collaboration with A. Carderi. We use the geometry of hyperbolic groups to provide new examples of maximal amenable (and yet type I) subalgebras in type II_1 factors.

Dans cette thèse, on s'intéresse à la théorie mesurée des groupes, à l'entropie sofique et aux algèbres d'opérateurs ; plus précisément, on étudie les actions des groupes sur des espaces de probabilités, des propriétés fondamentales de leur entropie sofique (pour des groupes discrets), leurs groupes pleins (pour des groupes Polonais), et les algèbres de von Neumann et leurs sous-algèbres moyennables (pour des groupes à caractère hyperbolique et des réseaux de groupes de Lie). Cette thèse est constituée de trois parties.Dans une première partie j'étudie l'entropie sofique des actions profinies. L'entropie sofique est un invariant des actions mesurées des groupes sofiques défini par L. Bowen qui généralise la notion d'entropie introduite par Kolmogorov. La définition d'entropie sofique nécessite de fixer une approximation sofique du groupe. Nous montrons que l'entropie sofique des actions profinies est effectivement dépendante de l'approximation sofique choisie dans le cas des groupes libres et certains réseaux de groupes de Lie.La deuxième partie est un travail en collaboration avec François Le Maître. Elle est constituée d'un article prépublié dans lequel nous généralisons la notion de groupe plein aux actions préservant une mesure de probabilité des groupes polonais, et en particulier, des groupes localement compacts. On définit une topologie polonaise sur ces groupes pleins et on étudie leurs propriétés topologiques fondamentales, notamment leur rang topologique et la densité des éléments apériodiques.La troisième partie est un travail en collaboration avec Rémi Boutonnet. Elle est constituée de deux articles prépubliés dans lesquels nous considérons la question de la maximalité de la sous-algèbre de von Neumann d'un sous-groupe moyennable maximal, dans celle du groupe ambiant. Nous résolvons la question dans le cas des groupes à caractère hyperbolique en utilisant les techniques de Sorin Popa. Puis, nous introduisons un critère dynamique à la Furstenberg, permettant de résoudre la question pour des sous-groupes moyennables de réseaux des groupes de Lie en rang supérieur. / This dissertation is about measured group theory, sofic entropy and operator algebras. More precisely, we will study actions of groups on probability spaces, some fundamental properties of their sofic entropy (for countable groups), their full groups (for Polish groups) and the amenable subalgebras of von Neumann algebras associated with hyperbolic groups and lattices of Lie groups. This dissertation is composed of three parts.The first part is devoted to the study of sofic entropy of profinite actions. Sofic entropy is an invariant for actions of sofic groups defined by L. Bowen that generalize Kolmogorov's entropy. The definition of sofic entropy makes use of a fixed sofic approximation of the group. We will show that the sofic entropy of profinite actions does depend on the chosen sofic approximation for free groups and some lattices of Lie groups. The second part is based on a joint work with François Le Maître. The content of this part is based on a prepublication in which we generalize the notion of full group to probability measure preserving actions of Polish groups, and in particular, of locally compact groups. We define a Polish topology on these full groups and we study their basic topological properties, such as the topological rank and the density of aperiodic elements. The third part is based on a joint work with Rémi Boutonnet. The content of this part is based on two prepublications in which we try to understand when the von Neumann algebra of a maximal amenable subgroup of a countable group is itself maximal amenable. We solve the question for hyperbolic and relatively hyperbolic groups using techniques due to Popa. With different techniques, we will then present a dynamical criterion which allow us to answer the question for some amenable subgroups of lattices of Lie groups of higher rank.

Cette thèse porte sur la conjecture de Baum-Connes pour les groupes quantiques. Le but principal de ce travail est l'étude de la stabilité de la conjecture de Baum-Connes par certaines constructions de groupes quantiques discrets.Dans un premier temps, nous réalisons une étude détaillé et approfondie de la reformulation catégorielle de la conjecture de Baum-Connes d'après les travaux de R. Meyer et R. Nest. Ensuite, nous appliquons ces techniques au cas concret des groupes quantiques discrets sans torsion.Nous réalisons une étude exhaustive des produits croisés afin de pouvoir les manipuler aisément en connexion avec la conjecture de Baum-Connes. Notamment nous donnons une preuve de la propriété universelle d'un produit croisé réduit par un groupe quantique discret. Nous analysons également quelques propriétés d'importance pour le contexte de cette thèse. Mentionnons particulièrement la propriété d'associativité du produit croisé par rapport à un produit semi-direct.En s'inspirant des travaux pionniers de J. Chabert nous menons une généralisation pour les groupes quantiques discrets de la stabilité de la conjecture de Baum-Connes par rapport à un produit semi-direct. Deux propriétés d'invariance d'intérêt indépendant sont également étudiées, à savoir le phénomène de torsion et la K-moyennabilité. Nous observons que l'hypothèse sans torsion force un biproduit crosié compact à être un produit semi-direct quantique sans torsion. Ainsi, la conjecture de Baum-Connes correspondante ne fournit pas d'information remarquable dans ce cas. La stratégie générale pour mener à bien une telle généralisation consiste à définir un foncteur de “décomposition” entre les catégories de Kasparov suivant l'opération de produit semi-direct. Nous observons que cette stratégie peut être extrapolée à d'autres constructions de groupes quantiques. Notamment un produit direct de groupe quantiques. Dans ce cas, nous établissons une connexion avec la formule de Künneth de manière analogue à ce qui a été démontré par J. Chabert, S. Echterhoff et H. Oyono-Oyono pour les groupes localement compacts classiques. Les propriétés de torsion et de K-moyennabilité ont également été étudiées.Nous savons, grâce à R. Vergnioux and C. Voigt, que la conjecture de Baum-Connes forte est préservée par le passage aux sous-groupes quantiques discrets divisibles. Le même résultat est vrai pour la propriété de torsion forte, grâce à Y. Arano et K. De Commer. Dans ce travail nous montrons qu'aussi bien la conjecture de Baum-Connes usuelle que la propriété de torsion usuelle sont préservées par le passage aux sous-groupes quantiques discrets divisibles. La propriété de K-moyennabilité a également été étudiée.Une notable propriété de permanence inclue dans cette thèse est la stabilité de la conjecture de Baum-Connes forte par produit en couronne libre. Pour cela, nous réalisons une complète classification des actions de torsion pour un produit libre quantique, ce qui permet de donner une formulation adéquate de la conjecture de Baum-Connes forte pour un produit en couronne libre inspirés par le travail pionnier de C. Voigt. Une application majeure est un calcul explicite de K-théorie, dans trois situations pertinentes, pour le groupe quantique compact de Lemeux-Tarrago qui est monoïdallement équivalent à un produit en couronne libre. Cette propriété de stabilité pour un produit en couronne libre ainsi que les calculs de K-théorie s'intègrent dans un travail en collaboration avec A. Freslon. Pour conclure, nous nous questionnons sur les résultats obtenus afin de proposer une liste de questions, problems et objectifs que l'auteur a rencontré durant l'intégralité de la période de recherche de cette thèse et qui rassemblent quelques unes des lignes de travail pour ses projets futures de recherche / The present dissertation is focused on the Baum-Connes conjecture for quantum groups. The main purpose of this work is the study of the Baum-Connes conjecture stability under some constructions of discrete quantum groups. In a first phase, we carry out a detailed and extensive study about the categorical reformulation of the Baum-Connes conjecture according to the results of R. Meyer and R. Nest. Next, we apply these techniques to the specific case of torsion-free discrete quantum groups. We carry out an exhaustive study of crossed products in order to handle them comfortably in connexion with the Baum-Connes conjecture. Notably, we give a proof of the universal property satisfied by a reduced crossed product by a discrete quantum group. We analyze as well some important properties for this dissertation. Let us mention in particular the associativity property of the crossed product with respect to a semi-direct product. Being inspired by the pionneer work of J. Chabert, we perform a generalization for discrete quantum groups of the invariance property of the Baum-Connes conjecture under the semi-direct product construction. Two permanence properties of own interest are studied as well. Namely, the torsion-freeness and the K-amenability. We observe that the torsion-freeness assumption forces a compact bicrossed product to be a torsion-free quantum semi-direct product, so that the corresponding Baum-Connes conjecture does not give any relevant information in this case. The general strategy used to accomplish such a generalization consists in defining a “decomposition” functor between the corresponding Kasparov categories in accordance with the semi-direct product operation. Thus, we observe that this strategy can be extrapolate to other (quantum) group constructions. Namely, to a quantum direct product. In this case, we state a connexion with the Künneth formula as pointed out by J. Chabert, S. Echterhoff and H. Oyono-Oyono for classical locally compact groups. The properties of torsion-frenness and K-amenability are also analyzed. It is known, thanks to R. Vergnioux and C. Voigt, that the strong Baum-Connes conjecture is preserved by divisible discrete quantum subgroups. The same is true for the strong torsion-freeness property, thanks to Y. Arano and K. De Commer. Here we show that both the usual Baum-Connes conjecture and the usual torsion-freeness property are preserved by divisible discrete quantum subgroups. The K-amenability property is analyzed too. A notably permanence property included in this dissertation is the invariance of the strong Baum-Connes conjecture under the free wreath product construction. For this, we carry out a complete classification of torsion actions of a quantum free product, which allows to give an appropriated formulation of the strong Baum-Connes conjecture for a free wreath product inspired by the pioneer work of C. Voigt. A major application is an explicit K-theory computation, in three relevant situations, for the Lemeux-Tarrago's compact quantum group which is monoidally equivalent to a free wreath product. Both this stability property for a free wreath product and the K-theory computations are part of a collaboration work with A. Freslon. To conclude, we question ourselves about the results obtained in order to suggest a list of questions, problems and goals that the author has encountered during the whole research period of the present dissertation and that are part of his future research projects

Le but de ce mémoire est d'effectuer un survol de mes travaux effectués depuis janvier 2007. Le sujet d'étude se situe à l'une des intersections entre la combinatoire, la dynamique topologique et la logique via le formalisme des structures ultrahomogènes et de la théorie de Fraïssé. Ce domaine a récemment connu un essor considérable grâce à deux contributions majeures par Kechris, Pestov et Todorcevic, et par Kechris et Rosendal. Mon travail part de la première de ces contributions et se concentre autour des deux thèmes suivants : Théorie de Ramsey structurale et dynamique topologique des groupes de transformation associés.