Successivamente si rinnovano ogni nove anni i giudici rimasti in carica dodici anni.
diritto
Il sorteggio dei giudici è fatto dalla Corte tre mesi prima della scadenza del predetto termine di nove anni.
diritto
I giudici che sono nominati alla scadenza dei dodici anni dalla prima formazione della Corte si rinnovano, decorsi nove anni, mediante sorteggio di
diritto