Dans ce développement, on va caractériser les idempotents de K[u] avec une jolie méthode : il existe un carré commutatif de morphismes naturels qui montre essentiellement que le Lemme Chinois et le Lemme des Noyaux, c'est la même chose !
Application à l'exponentielle de matrices (avec une petite utilisation de formules de Taylor... ).