Espaces préhilbertiens réels