Source: https://perso.univ-rennes1.fr/vincent.guirardel/mej/2006/nombres_infinis.pdf