Les équations différentielles ordinaires possèdent un analogue arithmétique où les fonctions et leurs dérivées sont remplacées par des nombres entiers et leurs quotients de Fermat. Cet article présente les principes de cette théorie et quelques applications à la théorie des invariants pour les correspondances.