[Ice 001] abstrato número programação