MetMat
Comment montrer qu'une famille est génératrice d'un sous-espace ? | MetMat