Source: https://www.fs-umi.ac.ma/wp-content/uploads/2019/12/SMIA_Alg1_Logique.pdf