مراسم تشییع جنازه ابراهیم آبادی