Femtosecond pulse propagation in air: variational analysis