Son funcionarios al servicio del Tribunal Constitucional: