Espaces vectoriels normés [EC]