Source: https://www.math.u-bordeaux.fr/~mbergman/PDF/These/chap8-conclusions.pdf