Second-order expansion for the maximum of some stationary Gaussian sequences