Chef du Hamas tué en Iran : sécurité renforcée de la communauté juive en France