[Snow 004] abstrait nombre la programmation