Salario de empleados públicos: pluses de nocturnidad y festivos en vacaciones, permisos retribuidos y bajas