(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) On entend par « fonctionnaire d'une organisation internationale publique » un fonctionnaire international ou toute personne autorisée par une telle organisation à agir en son nom ;