prise en compte de la désassignation lors du backtrack