Définition d'un espace de Banach et propriétés de la norme, telles que la continuité de la norme