L. Álvarez-cónsul and D. Fernández, Noncommutative bi-symplectic NQ-algebras of weight 1, Dynamical systems, differential equations and applications. 10th AIMS Conference, pp.19-28

A. Alekseev, N. Kawazumi, Y. Kuno, and F. Naef, Higher genus Kashiwara???Vergne problems and the Goldman???Turaev Lie bialgebra, Comptes Rendus Mathematique, vol.355, issue.2, pp.123-127, 2017.
DOI : 10.1016/j.crma.2016.12.007

M. Aguiar and S. Mahajan, Monoidal functors, species and Hopf algebras, volume 29 of CRM Monograph Series, 2010.

S. Art15 and . Arthamonov, Noncommutative inverse scattering method for the kontsevich system, Letters in Mathematical Physics, vol.105, issue.105, pp.1223-12511223, 2015.

]. S. Art16 and . Arthamonov, Modified Double Poisson Brackets. ArXiv e-prints, 2016.

Y. Berest, X. Chen, F. Eshmatov, and A. Ramadoss, Noncommutative Poisson structures, derived representation schemes and Calabi-Yau algebras, Mathematical aspects of quantization, pp.219-246, 2012.
DOI : 10.1090/conm/583/11570

]. Y. Berest, G. Felder, S. Patotski, A. C. Ramadoss, and T. Willwacher, Representation homology, Lie algebra cohomology and the derived Harish-Chandra homomorphism, Journal of the European Mathematical Society, vol.19, issue.9, 2014.
DOI : 10.4171/JEMS/729

Y. Berest, G. Felder, and A. Ramadoss, Derived Representation Schemes and Noncommutative Geometry, Expository lectures on representation theory
DOI : 10.1090/conm/607/12078
URL : http://arxiv.org/pdf/1304.5314

V. [. Bousfield and . Gugenheim, On PL de Rham theory and rational homotopy type, Mem. Amer. Math. Soc, vol.8, issue.179, p.94, 1976.

Y. Berest, G. Khachatryan, and A. Ramadoss, Derived representation schemes and cyclic homology, Advances in Mathematics, vol.245, pp.625-689, 2013.
DOI : 10.1016/j.aim.2013.06.020
URL : http://arxiv.org/pdf/1112.1449

[. Borceux, Handbook of categorical algebra. 2, volume 51 of Encyclopedia of Mathematics and its Applications Categories and structures, 1994.

W. Crawley-boevey, Poisson structures on moduli spaces of representations, Journal of Algebra, vol.325, issue.1, pp.205-215, 2011.
DOI : 10.1016/j.jalgebra.2010.09.033

W. Crawley-boevey, P. Etingof, and V. Ginzburg, Noncommutative Geometry and Quiver algebras. ArXiv Mathematics e-prints, 2005.
DOI : 10.1016/j.aim.2006.05.004
URL : https://doi.org/10.1016/j.aim.2006.05.004

H. [. Chen, S. Her, X. Sun, and . Yang, A double Poisson algebra structure on Fukaya categories, Journal of Geometry and Physics, vol.98, pp.57-76, 2015.
DOI : 10.1016/j.geomphys.2015.07.027

R. Campos, S. Merkulov, and T. Willwacher, The Frobenius properad is Koszul. Duke Math, J, vol.165, issue.15, pp.2921-2989, 2016.

S. L. Covez, intégration locale des algèbres de Leibniz, Thèse de Doctorat, 2010.

]. D. Cpt-+-15, T. Calaque, B. Pantev, M. Toen, G. Vaquie et al., Shifted Poisson Structures and Deformation Quantization. ArXiv e-prints, 2015.

V. Dotsenko and A. Khoroshkin, Gröbner bases for operads. Duke Math, J, vol.153, issue.2, pp.363-396, 2010.

J. [. Dwyer and . Spalí-nski, Homotopy Theories and Model Categories, Handbook of algebraic topology, pp.73-126, 1995.
DOI : 10.1016/B978-044481779-2/50003-1

A. De-sole, V. G. Kac, and D. Valeri, Double Poisson vertex algebras and non-commutative Hamiltonian equations, Advances in Mathematics, vol.281, pp.1025-1099, 2015.
DOI : 10.1016/j.aim.2015.05.011

A. De-sole, V. G. Kac, and D. Valeri, A New Scheme of Integrability for (bi)Hamiltonian PDE, Communications in Mathematical Physics, vol.7, issue.5, pp.449-488, 2016.
DOI : 10.1007/BF00419926

[. Álvarez, Non-commutative symplectic NQ-geometry and Courant algebroids, 2015.

]. B. Fgt85, B. L. Fe?-i-gin, and . Tsygan, Additive K-theory and crystalline cohomology, Funktsional . Anal. i Prilozhen, vol.19, issue.96, pp.52-62, 1985.

]. B. Fgt87, B. L. Fe?-i-gin, and . Tsygan, Additive K-theory. In K-theory, arithmetic and geometry (Moscow, Lecture Notes in Math, vol.1289, pp.67-209, 1984.

K. [. Fay, P. J. Hardie, and . Hilton, The two-square lemma, Publicacions Matem??tiques, vol.33, pp.133-137, 1989.
DOI : 10.5565/PUBLMAT_33189_10

Y. Félix, S. Halperin, and J. Thomas, Differential Graded Algebras in Topology, Handbook of algebraic topology, pp.829-865, 1995.
DOI : 10.1016/B978-044481779-2/50017-1

R. Daniel, G. Farkas, and . Letzter, Ring theory from symplectic geometry, J. Pure Appl. Algebra, vol.125, issue.1-3, pp.155-190, 1998.

B. Fresse, Props in model categories and homotopy invariance of structures, Georgian Math. J, vol.17, issue.1, pp.79-160, 2010.

[. Gan, KoSzul duality for dioperads, Gin05] V. Ginzburg. Lectures on Noncommutative Geometry. ArXiv Mathematics e-prints, pp.109-124, 2003.
DOI : 10.4310/MRL.2003.v10.n1.a11

J. [. Getzler and . Jones, Operads, homotopy algebra and iterated integrals for double loop spaces. ArXiv High Energy Physics -Theory e-prints, 1994.

G. Ginot and S. Yalin, Deformation theory of bialgebras, higher Hochschild cohomology and formality. ArXiv e-prints, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01714212

E. Hoffbeck, A Poincar?????Birkhoff???Witt criterion for Koszul operads, manuscripta mathematica, vol.152, issue.4, pp.87-110, 2010.
DOI : 10.5802/aif.1516

[. Hovey, Model categories, Mathematical Surveys and Monographs, vol.63

E. Hoffbeck and C. Vespa, Leibniz homology of Lie algebras as functor homology, Journal of Pure and Applied Algebra, vol.219, issue.9, pp.3721-3742, 2015.
DOI : 10.1016/j.jpaa.2014.12.019
URL : https://hal.archives-ouvertes.fr/hal-00935599

W. Mark, D. Johnson, and . Yau, On homotopy invariance for algebras over colored PROPs, J. Homotopy Relat. Struct, vol.4, issue.1, pp.275-315, 2009.

M. Kapranov, Free Lie algebroids and the space of paths, Selecta Mathematica, vol.13, issue.2, pp.277-319, 2007.
DOI : 10.1007/s00029-007-0041-9

A. Katz, Poincare-Birkhoff-Witt Bases for Dioperads, Thesis (Ph.D.)?University of California

M. Livernet, Homotopie rationnelle des alg??bres de Leibniz, Comptes Rendus de l'Acad??mie des Sciences - Series I - Mathematics, vol.325, issue.8, pp.819-823, 1997.
DOI : 10.1016/S0764-4442(97)80119-X

J. Loday, Cyclic homology, volume 301 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences, Appendix E by María O. Ronco, Chapter 13 by the author in collaboration with Teimuraz Pirashvili, 1998.

M. Livernet and F. Patras, Lie theory for Hopf operads, Journal of Algebra, vol.319, issue.12, pp.3194899-4920, 2008.
DOI : 10.1016/j.jalgebra.2008.03.016
URL : https://hal.archives-ouvertes.fr/hal-00083757

[. Loday and B. Vallette, Algebraic operads, of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences

M. Markl, Operads and PROPs, Handbook of algebra, pp.87-140, 2008.
DOI : 10.1016/S1570-7954(07)05002-4

[. Lane, Categorical algebra, Bull. Amer. Math. Soc, vol.71, pp.40-106, 1965.

V. Melani and P. Safronov, Derived coisotropic structures I : affine case. ArXiv e-prints, 2016.

[. Melani and P. Safronov, Derived coisotropic structures II : stacks and quantization. ArXiv e-prints, 2017.

V. Massuyeau and . Turaev, Quasi-Poisson Structures on Representation Spaces of Surfaces, International Mathematics Research Notices, vol.117, issue.11, pp.1-64, 2014.
DOI : 10.2307/2007075
URL : https://hal.archives-ouvertes.fr/hal-00700436

S. Merkulov and B. Vallette, Deformation theory of representations of prop(erad)s I, Journal f??r die reine und angewandte Mathematik (Crelles Journal), vol.2009, issue.634, pp.51-106, 2009.
DOI : 10.1515/CRELLE.2009.069

S. Merkulov and B. Vallette, Deformation theory of representations of prop(erad)s II, Journal f??r die reine und angewandte Mathematik (Crelles Journal), vol.2009, issue.636, pp.123-174, 2009.
DOI : 10.1515/CRELLE.2009.084

[. Nagpal, S. V. Sam, and A. Snowden, Noetherianity of some degree two twisted commutative algebras, Selecta Mathematica, vol.162, issue.2, pp.913-937, 2016.
DOI : 10.1017/CBO9780511546556

A. Odesskii, V. Rubtsov, and V. Sokolov, Double Poisson brackets on free associative algebras, Contemp. Math. Amer. Math. Soc, vol.592, pp.225-239, 2013.
DOI : 10.1090/conm/592/11861
URL : https://hal.archives-ouvertes.fr/hal-00725993

G. Powell, On double Poisson structures on commutative algebras, Journal of Geometry and Physics, vol.110, pp.1-8, 2016.
DOI : 10.1016/j.geomphys.2016.07.003
URL : https://hal.archives-ouvertes.fr/hal-01392731

B. Stewart and . Priddy, Koszul resolutions The invariant theory of n × n matrices, Pro76] C. Procesi, pp.39-60306, 1970.

T. Pantev, B. Toën, M. Vaquié, and G. Vezzosi, Shifted symplectic structures, Publications math??matiques de l'IH??S, vol.47, issue.1, pp.271-328, 2013.
DOI : 10.1112/S0010437X11005501
URL : https://hal.archives-ouvertes.fr/hal-00818192

A. Pichereau and G. Van-de-weyer, Double Poisson cohomology of path algebras of quivers, Journal of Algebra, vol.319, issue.5, pp.2166-2208, 2008.
DOI : 10.1016/j.jalgebra.2007.09.021
URL : https://hal.archives-ouvertes.fr/hal-00804900

J. Serre, Représentations linéaires des groupes finis, 1971.

]. V. Sok13 and . Sokolov, Classification of constant solutions of the associative Yang-Baxter equation on Mat 3 Russian version appears in Teoret, Theoret. and Math. Phys. Mat. Fiz, vol.176, issue.176 3, pp.1156-1162, 2013.

A. [. Sam and . Snowden, Introduction to twisted commutative algebras ArXiv eprints, 2012.

V. Steven, A. Sam, and . Snowden, Stability patterns in representation theory, Forum Math. Sigma, vol.3, issue.108, p.11, 2015.

B. Toën and G. Vezzosi, Homotopical algebraic geometry I: topos theory, Advances in Mathematics, vol.193, issue.2, pp.257-372, 2005.
DOI : 10.1016/j.aim.2004.05.004

B. Toën and G. Vezzosi, Homotopical algebraic geometry. II. Geometric stacks and applications, Memoirs of the American Mathematical Society, vol.193, issue.902, p.224, 2008.
DOI : 10.1090/memo/0902

B. Vallette, Prépublication de l'Institut de Recherche Mathématique Avancée [Prepublication of the Institute of Advanced Mathematical Research, 2003.

B. Vallette, Manin products, Koszul duality, Loday algebras and Deligne conjecture, Journal f??r die reine und angewandte Mathematik (Crelles Journal), vol.209, issue.620, pp.105-164, 2008.
DOI : 10.1016/j.jpaa.2006.03.012
URL : https://hal.archives-ouvertes.fr/hal-00581068

B. Vallette, Free Monoid in Monoidal Abelian Categories, Applied Categorical Structures, vol.359, issue.2, pp.43-61, 2009.
DOI : 10.4310/HHA.2005.v7.n2.a9
URL : https://hal.archives-ouvertes.fr/hal-00018858

B. Vallette, Algebra + homotopy = operad, Symplectic, Poisson, and noncommutative geometry, pp.229-290, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00757010

M. Van-den and . Bergh, Non-commutative quasi-Hamiltonian spaces, Contemp. Math. Amer. Math. Soc, vol.450, pp.273-299, 2008.
DOI : 10.1090/conm/450/08745

[. Van-de-weyer, Double Poisson Structures on Finite Dimensional Semi-Simple Algebras, Algebras and Representation Theory, vol.18, issue.3, pp.437-460, 2008.
DOI : 10.1007/s10468-008-9088-3

A. Charles and . Weibel, An introduction to homological algebra, volume 38 of Cambridge Studies in Advanced Mathematics, 1994.

S. Yalin, Function spaces and classifying spaces of algebras over a prop, Algebraic & Geometric Topology, vol.24, issue.5, pp.2715-2749, 2016.
DOI : 10.4171/JNCG/243
URL : https://hal.archives-ouvertes.fr/hal-01710718

D. Yau, Colored operads, Graduate Studies in Mathematics, vol.170
DOI : 10.1090/gsm/170

P. Esp-de, de modules des struct

.. Ordre-shuffle-compatible, 205 P Permutation connexe, p.257