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