préhilbertiennes