  We prove the asymptotic normality of the standardized number of crossings of
a centered stationary mixing Gaussian process when both the level and the time
horizon go to infinity in such a way that the expected number of crossings also
goes to infinity.
