rewrite:Rcrire une expression
substit:Substitution dans une expression
substitg:Substitution dans une expression
