On the last exit times for spectrally negative Lévy processes · Study