ירושלים, מערת שמעון הצדיק / Jerusalem, the cave of Shimon HaZadik / Jerusalem, le tombeau de Shimon HaZadik