Le personnel nécessaire au fonctionnement de la Cour de justice de la République est mis à la disposition de cette juridiction par le greffier en chef de la Cour de cassation.