Pressure broadening of a Doppler line