Nonlinear Lagrangian theory of envelope electrostatic plasma waves in a two-electron-temperature plasma