https://123dok.net/document/zgw32457-les-espaces-pr-ehilbertiens.html