Convolution of a Doppler line by a Gaussian instrument function