Source: https://perso.univ-rennes1.fr/karim.bekka/OM3/TD/OM3TD2-rep.pdf