Source: http://sites.uclouvain.be/archives-portail/cdc2017/cours-2017-WMD1120.pdf