Source: https://www.imo.universite-paris-saclay.fr/~pansu/web_ifips/bases_du_raisonnement.pdf