Magnot, J.-P. On Diffeological Principal Bundles of Non-Formal Pseudo-Differential Operators over Formal Ones. PIGC 2023, 16, 125-141.