Résumé
Nous présentons l'analyse de preuves de chercheurs sur l'équivalence de deux définitions du concept d'arbre en théorie des graphes, l'une des deux définitions étant de type récursif et l'autre non. L'analyse vise à mettre en lumière la relation entre les notions de récurrence et de récursivité, telle qu'elle est perçue par les experts, afin d'éclairer les questions didactiques que soulève leur apprentissage.