Source: http://groupugo.div.jussieu.fr/groupugo/doc/07-04-28montanari.pdf