Source: https://fougeron.perso.math.cnrs.fr/materiel/PP2/22 infinite_premiers_raisonnements_divins.pdf