Sur une extension du calcul des substitutions linéaires