https://123dok.net/document/q2n3jxr2-vectoriel-dimension-montrer-famille-vecteurs-propres-associés-distinces.html