Le montant des crédits disponibles au titre de la prime de rendement pour les magistrats du siège, d'une part, et du parquet général, d'autre part, est déterminé par application du taux moyen prévu à l'article 3 à la masse budgétaire respective des traitements bruts de ces magistrats.