Projecteurs d'un ev

Noyau d'un endomorphisme, projecteur d'un espace vectoriel, sous-espaces supplémentaires et double-inclusion pour une égalité.