[Observe-commits] 15/17: meilleur gestion de l'activation du menu de fermeture des neouds (refs #7622)