Source: https://www.lememento.fr/longueur-diagonale-dun-carre.pdf