Lévy processes with no positive jumps at an increase time

Summary We study the behaviour of a Lévy process with no positive jumps near its increase times. Specifically, we construct a local time on the set of increase times. Then, we describe the path decomposition at an increase time chosen at random according to the local time, and we evaluate the rate of escape before and after this instant.