البطولة المحلية الخامسة عشر للروبوت – قطر 2023