Un lycée du Puy-en-Velay adopte la musique de la Ligue des champions comme sonnerie