Source: https://groupugo.div.jussieu.fr/groupugo/doc/00-10-21Rosa.pdf