Calcul explicite presque fini