Large-deviation functions for nonlinear functionals of a Gaussian stationary Markov process.