Loading paper
Strong phase-space semiclassical asymptotics | Tomesphere