Théorème sur les ensembles de première catégorie