Les magistrats justifiant à la date de leur nomination comme magistrat de la qualité de fonctionnaire, conformément au statut général des fonctionnaires, bénéficient des dispositions du décret n° 47-1457 du 4 août 1947 pris pour l'application de l'article 52 du statut général de la fonction publique prévoyant l'attribution d'une indemnité compensatrice.