La racine carrée d'un réel positif