Calcul, algorithme et machines formelles