Dans cet article, on présente une preuve syntaxique de la caractérisation opérationnelle des entiers classiques (des termes clos typables, dans un système de typage classique, de type $N[s^n(0)]$) de J. L. Krivine. On donne ensuite des conditions sur le système de typage classique afin d'obtenir les entiers intuitionnistes.