Magnot, J.-P. “On Diffeological Principal Bundles of Non-Formal Pseudo-Differential Operators over Formal Ones”. Proceedings of the International Geometry Center, Vol. 16, no. 2, Aug. 2023, pp. 125-41, doi:10.15673/pigc.v16i2.2298.