Résumé
We deal with the concept of algorithm which is taking importance in curricula in many countries. In particular, we develop an epistemological analysis of this concept and discuss its place in the mathematical science and the link it has with proof. This analysis is enriched by the study of "how researchers know the algorithm". We conclude with implications of the changes in curricula on proof learning.