“…The motivation of this paper is twofold. First, it justifies the study of closed Fedosov star product, see [24,23], Futaki-Ono [17] and Futaki-L. [15,16], as a zero moment map problem, a picture that was up to now only valid at first orders in the formal parameter. Second, there is an increasing interest in the study of the quantization of Hamiltonian diffeomorphisms from the point of view of symplectic topology, see for example Ioos [19,20], Charles [6], Charles-Polterovich [9] and Charles-Le Floch [8] (in the past 3 years!).…”