Que du classique. Impossible de tout faire, il faut sculpter selon les leçons.
1. Lemme des Noyaux [ROM p609]
1bis. Les projecteurs sont des polynômes en u
2. Stabilité des sous-espaces propres pour des endomorphismes commutant [GOU p176]
3. Deux matrices diagonalisables commutent si et seulement si elles sont co-diagonalisable [GOU p176]
4. Dunford via la co-diagonalisabilité [GOU p203]
5. Application à l'exponentielle de matrice [ROM p634]