codimension (dimension + co-; together_joint)
Mesure de la différence de tailles entre un espace et un sous-espace