Il giudice amministrativo interviene nel procedimento di nomina degli arbitri