Points de départ pour la micro-informatique — Institut de recherche sur l'enseignement des mathématiques. Caen