bundle of $M$.

We stress that this result holds for *any* group of foliated diffeomorphisms $G$. In particluar, we do not assume that $G$ preserves a metric or a conformal structure on $M$. To prove this, the idea is to give an explicit homotopy between the Radul cocycle and the one above. In the framework of cyclic cohomology, a recipe to obtain transgression cochains between two representatives of a given cohomology class is to use a *JLO formula* [@JLO]. A first observation is that our cocycles are defined on algebras of formal Heisenberg pseudodifferential symbols. Thus, we have to adapt the usual ingredients of the JLO cocycle to this context. We find an answer by adapting the formalism developed in [@Per2012] and [@Per2014] to the Heisenberg calculus. The constructions are not easy but really flexible because the use of residues has the consequence that these are purely algebraic. Besides, this applies to operators which are not of Dirac type, and more generally to cases where Getzler rescaling does not apply. Though, it should be noted that this Dirac operator is only an intermediary, contrary to the classical JLO situation where it is the object of study. Another crucial feature of 