Espaces vectoriels euclidiens, avec une ouverture vers les espaces préhilbertiens réels

Jean-Denis Eiden