Espaces vectoriels normés/Présentation de la leçon

__EXPECTED_UNCONNECTED_PAGE__ Dans cette leçon, on cherche à définir une notion de « longueur » (ou norme) sur un espace vectoriel. Cela va permettre d'étendre notamment des notions comme la continuité à des espaces vectoriels plus élaborés que l’ensemble $ℝ$.