Gaussian measures and large deviations