Grâce à cette extension on peut enfin réduire automatiquement les autres dossiers lorsque l'on en ouvre un autre (en plus de ce qui est indiqué dans la description), enfin !!!!!!!!!!