Laboratoire d'Informatique et de Mathématiques Appliquées (Grenoble). Equipe de Recherche Pédagogique en Mathématiques