Source: https://www.psifabert.com/Espaces_prehilbertiens_et_euclidiens.pdf