Espace préhilbertien réel/Objectifs

Généraliser la notion d'espace euclidien ou hermitien à un espace de dimension quelconque voire même infinie.