1. Définition : équicontinuité, borné. 2. Énoncé : caractérisation des compacts de C(K). 3. Démonstration. 4. Applications : équations différentielles
Extraction diagonale. Totalement borné = précompact