Sheaf theory is a powerful and deep language in which a lot of results of algebraic topology are stated. In this talk, I will explain some links between sheaf theory after Kashiwara-Schapira and level-sets persistence (a common construction of TDA), in order to benefit of the best of both worlds: theoretical deepness of sheaf theory on the one hand, and computer friendliness of persistence in the other.