Se compone de 15 jueces, nombrados por terceras partes: por el Presidente de la República, por el Parlamento en sesión conjunta de ambas Cámaras, y por las supremas magistraturas ordinarias y administrativas.