رسمياً.. اختصار مسمى الدوري السعودي إلى "دوري جميل"