dimint:Dimension d'intersection
dimsev:Dim sous-espace par systme
dimsum:Dimension de somme
subbase:Sous-base
subbase2:Sous-base II
subdim:Dimension de sous-espace
subdimmat:Dim sous-espace de matrices
subext:Extension de sous-espace
