Source: https://sites.uclouvain.be/archives-portail/cdc2013/cours-2013-lchm2120.pdf