Source: https://math.univ-angers.fr/~labatte/institut/Exprop.pdf