Source: https://www.math.univ-toulouse.fr/~guedj/fichierspdf/CoursAnalyseFonctionnelle.pdf