Sobre la reducción salarial de los empleados públicos en España