SMS dit: Semi-classical analysis for nonlinear Schrödinger equations