Source: https://perso.univ-rennes1.fr/karim.bekka/CDHO/Week by week/CDHO4.pdf