Il n'existe aucun rationnel solution de l'equation x^2-2=0