Ce développement classique existe déjà et des documents traitent déjà ce dev sur agreg maths en dimension finie. Cependant, créer une section pour la dimension finie me semble plus pratique pour ceux qui voudront faire ce développement en dimension finie.