Est-ce que $NOT montera à nouveau au niveau haut ?