Exit identities for Lévy processes observed at Poisson arrival times · Study