Viện Viễn Đông Bác Cổ, EFEO và kho sách quý hiếm về Việt Nam