Ah, merci — je ne pense pas avoir jamais ouvert le menu « Plus d’options » !
Je vais essayer cela à l’avenir. Peut-être pas tout à fait aussi fiable que les étiquettes ou les dossiers, mais mieux que de simplement faire défiler ma liste de favoris écrasante. 