Abstract FR:

Construction d'une theorie des expressions rationnelles sur un semi anneau k quelconque. La theorie est ensuite generalisee aux identites matricielles en montrant que certaines axiomes classiques entrainent leur version matricielle. Il est aussi etabli que l'etoile formelle d'une matrice se definit de maniere unique, module les axiomes classiques. Un calcul differentiel sur les expressions k-rationnelles est etudie, en montrant comment l'on peut deduire des identites derivees. Dans une derniere partie, les codes intervenant dans une factorisation finie du monoide libre sont etudies