J.-P. Magnot, “On diffeological principal bundles of non-formal pseudo-differential operators over formal ones”, PIGC, vol. 16, no. 2, pp. 125-141, Aug. 2023.