Source: http://www.iro.umontreal.ca/~dift1065/Aut12/2.PremPartie_1.2_1.3_1.5_1.6_corr.pdf