No dia do Bibliotecário, Prefeitura de Petrolina celebra a contribuição desses profissionais à educação e cultura