Source: https://girard.perso.math.cnrs.fr/filmsvus21.pdf