Topologie des espaces vectoriels normés