Source: https://djament.perso.math.cnrs.fr/Kexcision-intro.pdf