Un logiciel de calcul formel en seconde — Institut de recherche sur l'enseignement des mathématiques. Rennes