Source: https://www.lri.fr/~caillou/c4TdJv3.pdf