BV formality

We prove a stronger version of the Kontsevich Formality Theorem for orientable manifolds, relating the Batalin-Vilkovisky (BV) algebra of multivector fields and the homotopy BV algebra of multidifferential operators of the manifold.