Institut juridique international, office permanent de documentation juridique internationale — Internationaal juridisch instituut