La fin des espaces vectoriels normés avec la compacité et la dimension finie est au programme de la semaine prochaine.