Source: http://depmath-nancy.univ-lorraine.fr/club/docs/1819/181219_irrationnels.pdf