Définition Rewriting

Définition de rewriting