Semi-classical and envelope methods in quantum mechanics