Los funcionarios cotizarán por la paga extra de Navidad que no recibirán