Source: https://sites.uclouvain.be/archives-portail/cdc2014/cours-2014-WMD1120M.pdf