Racine carrée de 5, existe-t'elle ? — Institut de recherche sur l'enseignement des mathématiques. Rennes