On the limit law of a random walk conditioned to reach a high level
spectrally positive Lévy process conditioned not to overshoot
scientific article