WKB analysis for the Gross-Pitaevskii equation with non-trivial boundary conditions at infinity Thomas Alazard, Rémi Carles (2009) Annales de l'I.H.P. Analyse non linéaire