MetMat
Comment construire une base adaptée à une somme directe $E = F_1 \oplus \dots \oplus F_k$ ? | MetMat