https://123dok.net/document/yevkr971-une-famille-libre-un-k-espace-vectoriel-e.html