Source: https://lipn.univ-paris13.fr/~klai/InfoDeBase/TPs/TP1_Corr.pdf