Source: https://eric.univ-lyon2.fr/~sabine/AIDE13.pdf