Le double de la racine carrée d'un nombre est égale à ce nombre ?​