avant 1870. Sur le rôle de Bolzano, mort en 1848, on pourra consulter le livre de
P. Dugac, ... suite de Cauchy tout enti`ere converge alors vers x. Si (X,d) .... ces
fonctions sont bornées par le diam`etre D (fini) de l'espace métrique (X,d). Donc.
4 ...... va montrer que cet opérateur est compact, en utilisant la convergence
faible. 
