(c) "Official of a public international organization" shall mean an international civil servant or any person who is authorized by such an organization to act on behalf of that organization;
c) Por "funcionario de una organización internacional pública" se entenderá un empleado público internacional o toda persona que tal organización haya autorizado a actuar en su nombre;