Source: http://math.univ-lyon1.fr/~attal/Analyse_I_np.pdf