Does anyone know if the tradition of wearing a star for every 10 league titles, above the club badge has a name?