@article{701263,
     title = {The precompactness--lemma},
     booktitle = {Proceedings of the 10th Winter School on Abstract Analysis},
     series = {GDML\_Books},
     publisher = {Circolo Matematico di Palermo},
     address = {Palermo},
     year = {1982},
     pages = {[75]-82},
     mrnumber = {MR0683770},
     zbl = {0599.46005},
     url = {http://dml.mathdoc.fr/item/701263}
}

Floret, Klaus. The precompactness–lemma, dans Proceedings of the 10th Winter School on Abstract Analysis, GDML_Books,  (1982), pp. [75]-82. http://gdmltest.u-ga.fr/item/701263/