مراسم تشییع استاد جمیل‌الدّین مهاجری برگزار شد