https://123dok.net/document/yr3jl55j-famille-v-liée-libre-existe-combinaison-linéaire-vecteurs.html