il faut aussi le mettre dans le cas des transitions de push / pop !