1: \begin{abstract}
2: The purpose of this article is to support the idea that ``whenever
3: we can prove a limit theorem in the classical sense for a dynamical
4: system, we can prove a suitable almost-sure version based on an
5: empirical measure with log-average''. We follow three different
6: approaches: martingale methods, spectral methods and induction
7: arguments. Our results apply, among others, to Axiom A maps or flows,
8: to systems inducing a Gibbs-Markov map, and to the stadium billiard.
9:
10:
11: \bigskip
12:
13: \noindent {\bf Key-words}: almost-sure central limit theorem,
14: almost-sure convergence to stable laws, Gibbs-Markov map,
15: inducing, suspension flow, martingales, hyperbolic flow, stadium billiard.
16:
17: \end{abstract}
18: