Almost sure behavior for the local time of a diffusion in a spectrally negative Lévy environment

We study the almost sure asymptotic behavior of the supremum of the local time for a transient diffusion in a spectrally negative Levy environment. In particular, we link this behavior with the left tail of an exponential functional of the environment conditioned to stay positive.