théorème de Baire

lemme de Baire

ANALYSE

Tout espace métrique complet (notamment un espace de Banach ) est un espace de Baire .