EXIT IDENTITIES FOR LÉVY PROCESSES - HEC Lausanne