Le répertoire des choeurs de l'Ecole normale supérieure