L'outil Options des dossiers dépouillé de ses onglets