(d) “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;
d) Por “funcionario de una organización internacional pública” se entenderá toda persona que tenga un cargo público internacional o toda persona que esté autorizada por una organización de esa índole para actuar en nombre de ella;