procédure de calcul bien définie qui prend une valeur ou un ensemble de valeurs en entrée et, après une séquence finie d'étapes de calcul, génère une valeur ou un ensemble de valeurs en sortie