A Poisson representation of the positive sojourn time of Lévy processes | Synapse