Formule du rang et/ou de Grassmann

Espace vectoriel de dimension finie, rang d'un endomorphisme. Utilisation de la formule du rang et de la formule de Grassmann.