Le théorème d'Ascoli est un profond résultat d'analyse fonctionnelle. Il nous servira à illustrer la puissance du formalisme topologique sur des espaces abstraits comme les espaces de fonctions. Afin d'établir sa démonstration, nous introduirons la notion d'espaces précompacts. La précompacité nous donnera un critère de compacité des espaces complets.