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