Rectification condition de rewrite