Étude de l'injectivité et de la surjectivité d'une application linéaire.