préhilbertienne