Fundação Getúlio Vargas, Rio de Janeiro. Instituto de Documentação. Biblioteca