PIS/Pasep: 23 milhões trabalhadores devem receber o abono