Source: https://www.deleze.name/marcel/culture/Racine_de_2_est_irrationnel/racine-de-2-est-irrationnel.pdf