Source: http://sites.uclouvain.be/archives-portail/cdc2018/cours-2018-LECRI1508.pdf