Número de funcionários da Petrobras, em mil pessoas