J'ai mis en place un filtre Gmail qui marque tous les e-mails entrants d'une certaine liste de diffusion avec une étoile. À l'heure actuelle, le filtre applique automatiquement l'étoile jaune standard. Comment puis-je le configurer pour utiliser l'étoile bleue à la place?