Via https://www.sudouest.fr/2020/12/21/un-homme-tire-a-jerusalem-sur-des-officiers-israeliens-la-police-le-tue-8215808-4803.php