Source: http://groupugo.div.jussieu.fr/Miserables/Lecture/Miseres/Miseres_Partie4.pdf