https://123dok.net/document/qvl71660-ensembles-finis-k-k-espace-vectoriel-norm.html