Source: https://litis.univ-lehavre.fr/~sanlaville/enseigne/formel_global.pdf