Améliore la lisibilité des conditions de sortie
Retire le mutex isPushed