The law of iterated logarithm for additive functionals and martingale additive functionals of Harris recurrent Markov processes

We use Nummelin splitting in continuous time in order to prove laws of iterated logarithm for additive functionals of a Harris recurrent Markov process, with deterministic or random renormalization.