Source: https://math.univ-lyon1.fr/~attal/Cours_S1.pdf