Source: https://www.labri.fr/perso/zemmari/ens/L3BX4/3_AlgoProg_1.pdf