Résumé
In this paper we prove that the sheaf of L-polydifferential operators for a locally free Lie algebroid L is formal when viewed as a sheaf of G(infinity)-algebras via Tamarkin's morphism of DG-operads G(infinity) -> B-infinity. In an appendix we prove a strengthening of Halbout's globalization result for Tamarkin's local quasi-isomorphism.
At the final stage of this work, the first named author has been supported by the European Union thanks to a Marie Curie Intra-European fellowship (contract number MEIF-CT-2007-042212). The second named author is a director of research at the FWO. The results of this paper were partially obtained while the second named author was visiting the Universite Claude Bernard at Lyon. He here by thanks the latter for its kind hospitality