« Espaces vectoriels normés » : différence entre les versions