Source: https://www.math.univ-toulouse.fr/~raymond/book-CD-LIM.pdf