Le décret n° 88-142 du 10 février 1988 fixant le régime indemnitaire des magistrats de l'ordre judiciaire est abrogé.