A formality theorem for Poisson manifolds

Let M be a differential manifold. Using different methods, Kontsevich and Tamarkin have proved a formality theorem, which states the existence of a Lie homomorphism 'up to homotopy' between the Lie algebra of Hochschild cochains on C-infinity(M) and its cohomology (Gamma(M; LambdaTM); [-; -](s)). Suppose M is a Poisson manifold equipped with a Poisson tensor pi; then one can deduce from this theorem the existence of a star product star on C-infinity(M). In this Letter we prove that the formality theorem can be extended to a Lie ( and even Gerstenhaber) homomorphism 'up to homotopy' between the Lie (resp. Gerstenhaber 'up to homtoptopy') algebra of Hochschild cochains on the deformed algebra (C-infinity(M), *) and the Poisson complex (Gamma(M, LambdaTM), [-, -](s)). We will first recall Tamarkin's proof and see how the formality maps can be deduced from Etingof and Kazhdan's theorem using only homotopies formulas. The formality theorem for Poisson manifolds will then follow.