פסטיבל הקולנוע הבינלאומי ירושלים 2023: הסרטים, האירועים וכל מה שלא כדאי לפספס