(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) On entend par “fonctionnaire d'une organisation internationale publique” un fonctionnaire international ou toute autre personne qui est autorisée par une telle organisation à agir au nom de cette organisation