Le début des espaces vectoriels normés est au programme de la semaine de la rentrée