Etude de la preuve du principe des urnes de Dirichlet et de l'existence d'une infinite de nombres premiers
['Jeff B. Paris', 'A. J. Wilkie', 'Alan R. Woods']
Provability of the pigeonhole principle and the existence of infinitely many primes