sémantique asser: changement des ids…