Voici le prochain programme de colle : le début des espaces vectoriels normés.