Concept

Espace préhilbertien