Nous généralisons la dualité de Koszul des algèbres et des opérades aux PROPs. Alors que les opérades sont des objets algébriques qui représentent les opérations à plusieurs entrées et une seule sortie sur les différents types d'algèbres, les PROPs modélisent les opérations à plusieurs entrées et plusieurs sorties agissant sur des structures algébriques telles que les bigèbres et les bigèbres de Lie. Nous introduisons un nouveau produit monoidal qui décrit les compositions entre ces opérations et nous restreignons notre étude à la partie connexe de chaque PROP, que nous appelons "propérade", par analogie avec les opérades. Nous généralisons aux propéades les différents objets homologiques associés aux algèbres et aux opérades comme les bar et cobar constructions, les modules et les propérades quasi-libres. Pour une propérade (resp. un PROP) donnée, nous construisons une copropérade (resp. un coPROP) dual ainsi qu'un complexe de Koszul dont l'acyclicité est un critère qui permet de déterminer si la cobar construction fournit une résolution quasi-libre, appelée modèle minimal, de la propérade (resp. du PROP) de départ. Pour démontrer ce théorème, nous introduisons une graduation supplémentaire qui provient ici des différents foncteurs analytiques engendrés par le produit monoidal. Cette théorie nous permet de définir des notions de "bigèbres" à homotopie près, sur un PROP de Koszul. Cette notion est l'équivalente au niveau des "bigèbres" de celle d'algèbre à homotpie près, qui est très importante en topologie algèbrique.

L’objet de cette thèse est l’étude de l’existence d’une quantification pour les sous-algèbres de Lie coisotropes des bigèbres de Lie. Une sous-algèbre de Lie coisotrope d’une bigèbre de Lie est une sous-algèbre de Lie qui est aussi un coidéal. Le problème de quantifications d’une sous-algèbre de Lie coisotrope fut posé par V. Drinfeld, lors de son étude de la quantification des espaces de Poisson homogènes G/C. Ces deux problèmes sont liés par le principe de dualité établi par N. Ciccoli et F. Gavarini. Dans cette thèse, nous cherchons à résoudre ce problème de quantification dans différents cadres. Premièrement, nous montrons qu’une quantification existe dans le cadre des bigèbres de Lie simple. Nous trouvons une quantification aux sous-algèbres de Lie coisotropes construites par M. Zambon. Puis nous établissons un lien entre ces quantifications et une classification des sous- algèbres coidéales à droite établie par I. Heckenberger et S. Kolb. Deuxièmement, nous trouvons une obstruction à la quantification universelle en utilisant une quantification d’ordre trois construite par V. Drinfeld. Nous montrons que cette obstruction disparait dans les exemples étudiés précédemment. Finalement, nous généralisons un résultat établi par P. Etingof et D. Kazhdan sur la quantification d’espaces de Poisson homogènes, liés aux sous-algèbres Lagrangiennes du double de Drinfeld. / The aim of this thesis is the study of quantization of coisotropic Lie subalgebras of Lie bialgebras.A coisotropic Lie subalgebra of a Lie bialgebra is a Lie subalgebra which is also a Lie coideal. The problem of quantization of coisotropic Lie subalgebra was set forth by V. Drinfeld, in his study of quantization of Poisson homogeneous spaces G/C. These problems are closely related to the duality principle established by N. Ciccoli and F. Gavarini.In this thesis, we search for an answer to this quantization problem in different settings. Firstly, we show that a quantization exists for simple Lie bialgebras by constructing a quantization of examples provided by M. Zambon. We then establish a link between the quantization which we constructed and a classification of subalgebras right coideals established by I. Heckenberger and S. Kolb. Secondly, we find an obstruction to the quantization in the universal setting by using a third-order quantization constructed by V. Drinfeld. We show that this obstruction vanishes in the examples studied earlier. Finally, we generalize a result of P. Etingof and D. Kazhdan on the quantization of poisson homogeneous spaces, linked to Lagrangian Lie subalgebras of Drinfeld's double.