Source: https://www.lri.fr/~de/CEXL3-1112.pdf