Philosophie et calcul de l'infini - Houzel, Christian ((Algorithme))