Démontrer qu'une diagonale du carré ABCD a pour lognueur x racine carré de 2