la racine carrée d’un nombre entier positif est toujours un nombre entier