Source: http://jltimin.free.fr/p_ts_si_2017_2018/cours_analyse_fonctionnelle.pdf