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