réécriture en dsl