The asymptotic distribution of eigenvalues of self-adjoint differential operators in the high-energy limit, or the semi-classical limit, is a classical subject going back to H. Weyl of more than a century ago. In the last decades there...