La fin des espaces vectoriels normés est au programme, avec la compacité, la connexité par arcs et les espaces vectoriels normés de dimension finie.