Pollux :
Ben nan, un produit scalaire de deux distances est un carré de distances

Je ne vois pas trop l'intérêt d'aller définir un PS sur |R. Déjà, faut être motivé/avoir de bonnes raisons pour considérer |R comme un |R- espace vectoriel ou un Q-eV – ça a déjà plus d'intérêt– voir plus exotique.
Mais même si tu le définit comme tel, sur la structure elle-même tu ne considère pas à proprement parler le PS de deux "distances" puisque de toute façon ce sont des vecteurs de ton eV. ( ou alors tu parles d'une autre structure, |R² pour nous ici, et après tu fais un ismorphsime entre ton |R en tant qu'eV sur lui-même et ton |R corps, mais ça restera définitivement un gros abus de langage de dire ça. )

Pollux :
mais un produit scalaire d'une distance et d'un vecteur

heu...soit tu m'explique comment tu définit ça, soit tu me donne le nom de ta drogue, ça a l'aire bien puissant ! (Je ne te conaiterais pas j'aurais dis "physique", mais apperement ça a l'aire d'être encore autre chose... )

Pollux :
vecteur unitaire (d'une "direction", si tu préfères)

Merci de t'inquiéter pour moi mais je sais tout de même ce qu'est un vecteur unitaire. (suffit de savoir parler français et d'être aller en première, non ?)

Pour trouver un compromis, on dira < | > = d1² = d0.1 si vous préférez.. ( c'est quand même à la fois plus beau et plus honête )