למה שמחים ביום פטירת רבי שמעון בר יוחאי ולא מתאבלים כנהוג אצל אחרים