+. Bilie and V. End, the homotopy Lie bialgebra structures on V . Here BiLie is the prop governing (dg-)Lie bialgebras structures on (dgvector r spaces, BiLie ? is its standard cofibrant resolution, and BiLie + ? is the result of the + construction (Section 3) on the later one By Theorem 7.2, this Lie algebra is the one of Sym(V )) and is quasi-isomorphic to the deformation complex This is the first step to derive the Etingof-Kazdhan quantization theorem from the formality theorem. Next, let ? + : Bialg + ? ? End P oly Sym(V ) be the map canonically associated to the (cocommutative and commutative) bialgebra structure on Sym(V ). The Etingof- Kazdhan quantization theorem assert that any Maurer-Cartan element in the above Lie algebra gives rise functorially to a formal deformation of ? +, other words a point of the moduli space Bialg + ? {Sym(V )} ? + (k These observations (a dg extension of the quantization of Lie bialgebra was established in the Appendix of [34]) can be made for a dg vector space V as well

M. Anel and A. , Sweedler Theory for (co)algebras and the bar-cobar constructions

C. Barwick and D. M. Kan, Relative categories: Another model for the homotopy theory of homotopy theories, Indagationes Mathematicae, vol.23, issue.1-2, pp.42-68, 2012.
DOI : 10.1016/j.indag.2011.10.002

H. Baues, The cobar construction as a Hopf algebra, Inventiones Mathematicae, vol.132, issue.3, pp.467-489, 1998.
DOI : 10.1007/s002220050231

D. Calaque and T. Willwacher, Triviality of the higher formality theorem, Proc. Amer, pp.5181-5193, 2015.
DOI : 10.1090/proc/12670

URL : https://hal.archives-ouvertes.fr/hal-00904247

D. Calaque, T. Pantev, B. Toen, M. Vaquié, and G. Vezzosi, Shifted Poisson structures and deformation quantization, Journal of Topology, vol.200, issue.2
DOI : 10.1007/s002200050540

URL : https://hal.archives-ouvertes.fr/hal-01253029

V. G. Drinfeld, On quasitriangular quasi-Hopf algebras and on a group that is closely connected with Gal, Algebra i Analiz, pp.149-181, 1990.

V. G. Drinfeld, Quantum groups, Proceedings of the International Congress of Mathematicians, pp.798-820, 1986.

W. Dwyer and D. Kan, Function complexes in homotopical algebra, Topology, vol.19, issue.4, pp.427-440, 1980.
DOI : 10.1016/0040-9383(80)90025-7

B. Enriquez, On Quantization Functors of Lie Bialgebras, Issue 1-2, pp.133-140, 2002.
DOI : 10.1023/A:1019782906081

B. Enriquez and P. Etingof, On the invertibility of quantization functors, Journal of Algebra, vol.289, issue.2, pp.321-345, 2005.
DOI : 10.1016/j.jalgebra.2005.01.056

URL : https://hal.archives-ouvertes.fr/hal-00087043

B. Enriquez and G. Halbout, Quantization of quasi-Lie bialgebras, Journal of the American Mathematical Society, vol.23, issue.3, pp.611-653, 2010.
DOI : 10.1090/S0894-0347-10-00654-5

B. Enriquez and G. Halbout, Quantization of coboundary Lie bialgebras, Annals of Mathematics, vol.171, issue.2, pp.1267-1345, 2010.
DOI : 10.4007/annals.2010.171.1267

URL : https://hal.archives-ouvertes.fr/hal-00203468

P. Etingof and D. Kazhdan, Quantization of Lie bialgebras I, Selecta Math, pp.1-41, 1996.

P. Etingof and D. Kazdhan, Quantization of Lie bialgebras, II, Selecta Mathematica, vol.4, issue.2, pp.213-231, 1998.
DOI : 10.1007/s000290050030

Z. Fiedorowicz and R. M. Vogt, An Additivity Theorem for the interchange of <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd" xmlns:sa="http://www.elsevier.com/xml/common/struct-aff/dtd"><mml:msub><mml:mrow><mml:mi>E</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math> structures, Advances in Mathematics, vol.273, pp.421-484, 2015.
DOI : 10.1016/j.aim.2014.10.020

J. Francis, Abstract, Compositio Mathematica, vol.193, issue.03, pp.430-480, 2013.
DOI : 10.1023/A:1007555725247

B. Fresse, Koszul duality of operads and homology of partition posets, Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic K-theory, Contemp. Math, pp.115-215, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00015642

B. Fresse, Modules over operads and functors, Lecture Notes in Mathematics, vol.1967, 2009.
DOI : 10.1007/978-3-540-89056-0

URL : http://arxiv.org/abs/0704.3090

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

B. Fresse, Koszul duality of En-operads, Selecta Mathematica, vol.66, issue.2, pp.363-434, 2011.
DOI : 10.1007/BF02765902

B. Fresse, ???infinity algebras and homology theories, Algebraic & Geometric Topology, vol.53, issue.2, pp.747-838, 2011.
DOI : 10.1016/0022-4049(93)90106-4

URL : http://msp.org/agt/2011/11-2/agt-v11-n2-p07-s.pdf

B. Fresse, Homotopy of operads and Grothendieck-Teichmuller groups, book in progress available at http://math.univ-lille1

B. Fresse, The cotriple resolution of differential graded algebras, Proc. Amer. Math. Soc
DOI : 10.1090/proc/13135

B. Fresse and T. Willwacher, The intrinsic formality of En-operads, preprint arXiv

M. Gerstenhaber and S. D. Schack, Algebras, bialgebras, quantum groups, and algebraic deformations, Contemp. Math, vol.134, pp.51-92, 1990.
DOI : 10.1090/conm/134/1187279

E. Getzler and J. D. , Jones Operads, homotopy algebra and iterated integrals for double loop spaces, preprint arXiv:hep-th, p.9403055, 1994.

E. Getzler and P. Goerss, A model category structure for differential graded coalgebras, preprint, 1999.

J. Giansiracusa and P. Salvatore, Formality of the framed little 2-discs operad and semidirect products, Contemp. Math, vol.519, pp.115-121, 2010.
DOI : 10.1090/conm/519/10236

G. Ginot, Homologie et mod??le minimal des alg??bres de Gerstenhaber, Annales math??matiques Blaise Pascal, vol.11, issue.1, pp.95-127, 2004.
DOI : 10.5802/ambp.187

G. Ginot and G. Halbout, A Formality Theorem for Poisson Manifolds, Letters in Mathematical Physics, vol.66, issue.1/2, pp.37-64, 2003.
DOI : 10.1023/B:MATH.0000017625.37702.7a

G. Ginot, T. Tradler, and M. Zeinalian, A Chen model for mapping spaces and the surface product, Ann. Sc. de l'Éc, Norm. Sup, pp.43-811, 2010.

G. Ginot, T. Tradler, and M. Zeinalian, Higher Hochschild cohomology of E-infinity algebras, Brane topology and centralizers of E-n algebra maps, preprint arXiv, pp.1205-7056

K. Hess and B. Shipley, The homotopy theory of coalgebras over a comonad, Proc. London Math. Soc. (3), pp.484-516, 2014.
DOI : 10.1112/plms/pdt038

V. Hinich, DG coalgebras as formal stacks, Journal of Pure and Applied Algebra, vol.162, issue.2-3, pp.209-250, 2001.
DOI : 10.1016/S0022-4049(00)00121-3

URL : https://doi.org/10.1016/s0022-4049(00)00121-3

V. Hinich, Tamarkin's proof of Kontsevich formality theorem, Forum Math, vol.15, pp.591-614, 2003.

V. Hinich and D. Lemberg, Formality theorem and bialgebra deformations, preprint arXiv, pp.1410-2132
DOI : 10.5802/afst.1505

URL : http://arxiv.org/pdf/1410.2132

M. Hovey, Model categories, Mathematical Surveys and Monographs AMS, vol.63, 1999.

S. Philip and . Hirschhorn, Model categories and their localizations, Mathematical Surveys and Monographs AMS, vol.99, 2003.

T. Kadeishvili, On the cobar construction of a bialgebra, Homology, Homotopy and Applications, vol.7, issue.2, pp.109-122, 2005.
DOI : 10.4310/HHA.2005.v7.n2.a6

A. Kapustin, Topological Field Theory, Higher Categories, and Their Applications, Proceedings of the International Congress of Mathematicians 2010 (ICM 2010), pp.2021-2043, 2010.
DOI : 10.1142/9789814324359_0133

URL : http://arxiv.org/pdf/1004.2307.pdf