Donner la longueur de la diagonale d'un carré de
côté racine de 2