Fonction Backward::replace_var testée et approuvée