De l’intervention-recherche à la production de ressources : quelle didactisation de l’activité pour la formation des enseignants ?