(D1), (D2), (D3) : c'est donc une distance sur Y et la paire (Y, d) est un espace
métrique. En particulier, n'importe quelle partie de R?, muni de la norme
euclidienne, ou plus généralement n'importe quelle partie d'un espace vectoriel
normé (E, || ||) peut être considérée comme un espace métrique. 1.4. Distances et
normes ... 
