[Observe-commits] 15/21: Petites améliorations ergonomiques dans l'arbre (Fixes #8576) Merge branch 'feature/8576' into develop