Dans les décisions indiquées ci-dessus, le nom du service « RDJ Mayotte (Radio DJ Mayotte) » est remplacé par « Premium Mayotte ».