Métriques bornées définies par des valuations sur un demi-treillis Georges Bordes — 1977 Mathématiques et Sciences Humaines