modélisation de la notion d’algorithme