Lors du congrès international des mathématiciens en 1900, Hilbert énonça le problème de l’axiomatisation de la physique. Plus précisément, il posa la question de la transition des modèles constitués d’atomes à des modèles continus dans le contexte de la dy- namique des gaz. Il suggéra alors d’utiliser l’équation de Boltzmann comme une étape intermédiaire dans ce passage de l’échelle microscopique à l’échelle macroscopique. Ce ne fut que bien plus tard, en 1975, que Lanford fut le premier à proposer un schéma de preuve pour la dérivation en temps court de l’équation de Boltzmann en partant des équations de la mécanique classique. Lanford ayant posé les jalons de la preuve, celle-ci fut alors par la suite complétée par de nombreux auteurs. On s’intéressera en particulier aux récentes contributions apportées par Bodineau, Gallagher, Saint-Raymond et Texier.