[Ice 001] abstrait nombre la programmation