abstract: It has been proved by Dolgushev, Tamarkin and Tsygan that the sheaf of polydifferential operators on a smooth scheme is formal as a sheaf of Ginfty algebras. We discuss a different proof of this fact. This is joint work with Damien Calaque.