Reposição do horário 35 horas na função pública terá custado, até agora, 19 milhões de euros, sobretudo na saúde e no pagamento de horas extra.