Etude de quelques proprietes des semimodules sur r#m#a#x, et applications a la theorie de la commande des systemes a evenements discrets