Ah ben oui, j'ai compris pourquoi j'étais perplexe. Le fait que deux vecteurs soient de genre différent ne les rend pas automatiquement orthogonal. Exemple (e, 1, 1, 1) (e petit) est du genre espace et (1, 0, 0, 0) est du genre temps. Le produit scalaire donne -e (avec la signature -+++). Ce n'est pas nul.
La raison physique de u100fil est totalement valable mais ce n'est sans doute pas ce que Amanuensis avait en tête.
Enfin, bon, l'approche traditionnelle que j'avais décrite plus haut me satisfait.
-----