https://123dok.net/document/zlg59vor-distance-entre-deux-nombres-réels-définition-v-a.html