JO: les primes supplémentaires pour plusieurs catégories de fonctionnaires officialisées