[Rough Rock 013] abstrait nombre la programmation