Source: https://www.puissancemaths.com/analyseEsib/Topologie/distance.pdf