Complétude des espaces normés et des espaces de Banach (telles que les propriétés des espaces normés complets)