https://123dok.org/document/ky6jmo4q-semiclassical-analysis-in-infinite-dimensions-wigner-measures.html