Loading paper
A Jensen inequality for partial traces and applications to partially semiclassical limits | Tomesphere