Calcul formel et apprentissage des mathématiques — Journées d'étude Environnements informatiques de calcul symbolique et apprentissage des mathématiques (2000 ; Rennes)