noyau d’une application linéaire