Ajouter une barre de recherche au classement sur l'application#5309

Actuellement le classement ne propose aucune fonctionnalité de recherche de joueurs dans le classement de lauriers contenant un comparatif de toute notre liste d’amis, pour ceux qui ont énormément d’amis, il n’est pas du tout pratique de descendre la file jusqu’en bas pour voir les lauriers d’un joueur, je propose donc d’ajouter une fonctionnalité “rechercher” comme sur l’ancien classement.