On the envelope of a Gaussian random field