Source: https://mpsi1.martin.free.fr/math/cours/45propmetriques.pdf