espace préhilbertien