MAGNOT, J.-P. On diffeological principal bundles of non-formal pseudo-differential operators over formal ones. Proceedings of the International Geometry Center, v. 16, n. 2, p. 125-141, 3 ago. 2023.