Arrêté du 16 octobre 2023 fixant le taux de la prime de recherche et d'enseignement supérieur instituée par le décret n° 2000-728 du 31 juillet 2000 au bénéfice des personnels enseignants de l'Institut Mines-Télécom