La genèse du théorème de recouvrement de Borel
Nous nous proposons de rendre à Émile Borel le mérite d’avoir considéré le premier un recouvrement d’un segment de droite par une suite infinie d’intervalles et prouvé que l’on peut en extraire un sous-recouvrement fini. L’appellation de souvent donnée à ce résultat, en référence à un article de Heine de 1872, conduit à sous-estimer les différences avec le théorème sur la continuité uniforme (dont une première version peut être attribuée à Dirichlet, en 1854) ; cette dénomination nous paraît ainsi...