الان متوجه شدم . اسم زبان برنامه نویسیه اتریومه برای قراردادهای هوشمند ، درسته ؟