Global formality at the $G_\infty$-level
Résumé
In this paper we prove that the sheaf of L-poly-differential operators for a locally free Lie algebroid L is formal when viewed as a sheaf of $G_\infty$-algebras via Tamarkin's morphism of DG-operads $G_\infty\r B_\infty$.