Hi Guillaume,
I think it's probably time to update pgadmin3-release.pot. Any reasonnot to that you can think of?
-- Dave PageEnterpriseDB UK: http://www.enterprisedb.com