Tutti gli encoder, getter e setter nella classe Carta