Le sujet de cette thèse est la théorie des opérades. Une opérande est utilisée pour encoder des collections d’opérations. Une opérade P est associée à une catégorie d’algèbres, qui est gouvernée par une monade, dénotée par S(P,-). Nous avons des variantes de cette monade, dénotées par Λ(P,-) et Γ(P,-), ce qui nous donne de nouvelles catégories d’algèbres associée à P. Nous étudions les monades Λ(PreLie,-) et Γ(P,-), associées à une opérande particulière PreLie, dont la structure reflets la définition classique des crochets de Lie par la symétrisation des opérations. Nous montrons que la catégorie des algèbres Λ(PreLie,-) est isomorphe à la catégorie des algèbres pré-Lie p-restreintes. Nous donnons ensuite une présentation de la structure d’une algèbre sur la monade Γ(PreLie,-). Nous expliquons comment définir une généralisation appropriée de la notion d’une opérade dans la seconde partie de la thèse. Premièrement, nous expliquons la définition d’une catégorie de foncteurs cohomologiques de Mackey sur une catégorie des partitions HParn. Nous prouvons que cette catégorie de foncteurs de HParn-Mackey cohomologiques est équivalent à la catégorie de Suslin-Friedlander des foncteurs polynomiaux strictes de degré n. Nous comptons sur ce résultat pour définir une catégorie de M-modules correspondant aux foncteurs analytiques. Nous prouvons que la catégorie des M-modules forme une catégorie monoïdale équivalente à celle des foncteurs analytiques avec la composition des foncteurs comme structure monoïdale. Nous utilisons ce résultat pour prouver que la catégorie des monades analytiques est équivalente à une catégorie d’opérades généralisées dans les M-modules. / The subject of this thesis is the theory of operads. An operad is used to encode collections of operations. An operad P is associated to a category of algebras, which is governed by a monad, denoted by S(P,-). We have variants of this monad, denoted by Λ(P,-) and Γ(P,-), which give new categories of algebras associated to P. We study the monads Λ(PreLie,-) and Γ(PreLie,-) associated to a particular operad PreLie, whose structure reflects the classical definition of Lie brackets by the symmetrization of operations in the field of differential geometry. We show that the category of Λ(PreLie,-) algebras is isomorphic to the category of p-restricted pre-Lie algebras. Then we give a presentation of the structure of an algebra over the monad Γ(PreLie,-). We explain how to define a suitable generalisation of the notion of an operad in the second part of the thesis. In a first step we explain the definition of a category of cohomological Mackey functors on a category of partitions HParn. We prove that this category of cohomological HParn-Mackey functors is equivalent to the Suslin-Friedlander category of strict polynomial functors of degree n. We rely on this result to define a category of M-modules corresponding to analytic functors. We prove that the category of M-modules forms a monoidal category equivalent to the category of analytic functors with the composition of functors as monoidal structure. We use this result to prove that the category of analytic monads is equivalent to a category of generalized operads in M-modules.

Ce manuscrit est consacré à l'étude de la combinatoire de deux algèbres de Hopf d'extraction-contraction. La première est l'algèbre de Hopf de mots tassés WMat introduite par Duchamp, Hoang-Nghia et Tanasa dont l'objectif était la construction d'un modèle de coproduit d'extraction-contraction pour les mots tassés. Nous expliquons certains sous-objets ou objets quotients ainsi que des applications vers d'autres algèbres de Hopf. Ainsi, nous considérons une algèbre de permutations dont le dual gradué possède un coproduit de déconcaténation par blocs et un produit de double battage décalé. Le double battage engendre la commutativité de l'algèbre qui est donc distincte de celle de Malvenuto et Reutenauer. Nous introduisons également une algèbre de Hopf engendrée par les mots tassés de la forme x₁...x₁. Elle est isomorphe à l'algèbre de Hopf des fonctions symétriques non commutatives. Son dual gradé est donc isomorphe à l'algèbre de Hopf des fonctions quasi-symétriques. Nous considérons également une algèbre de Hopf de compositions et donnons son interprétation en termes de coproduit semi-direct d'algèbres de Hopf. Le deuxième objet d'étude est l'algèbre de Hopf de diagrammes de dissection HD introduite par Dupont en théorie des nombres. Nous cherchons des éléments de réponse concernant la nature de sa cogèbre sous-jacente. Est-elle colibre ? La dimension des éléments primitifs de degré 3 ne permet pas de conclure. Le cas du degré 5 permet d'établir la non-coliberté dans le cas où le paramètre de HD vaut - 1. Nous étudions également la structure pré-Lie du dual gradué HD. Nous réduisons le champ de recherche à la sous-algèbre pré-Lie non triviale engendrée par le diagramme de dissection de degré 1. Cette algèbre pré-Lie n'est pas libre. / This thesis deals with the study of combinatorics of two Hopf algebras. The first one is the packed words Hopf algebra WMAT introduced by Duchamp, Hoang-Nghia, and Tanasa who wanted to build a coalgebra model for packed words by using a selection-quotient process. We describe certain sub-objects or quotient objects as well as maps to other Hopf algebras. We consider first a Hopf algebra of permutations. Its graded dual has a block deconcatenation coproduct and double shuffle product. The double shuffle product is commutative so the Hopf algebra is different from the Malvenuto and Reutenauer one. We analyze then the Hopf algebra generated by packed words looking like x₁...x₁. This Hopf algebra and non commutative symmetric functions are isomorphic. So its graded dual and quasi-symmetric functions are isomorphic too. Finally we consider a Hopf algebra of compositions an give its interpretation in terms of a semi-direct coproduct structure. The second objet we study is the Hopf algebra of dissection diagrams HD introduced by Dupont in number theory. We study the cofreedom problem. We can't conclude with homogeneous primitive elements of degree 3. With the degree 5 case, we can say that is not cofree with the parameter -1. We study the pre-Lie algebra structure of HD's graded dual too. We consider in particular the sup-pre-Lie algebra generated by the dissection diagram of degree 1. It is not a free pre-Lie algebra.