préhilbertiens