modĂ©lisation de la notion d’algorithme