Attaque près de la synagogue de la Ghriba en Tunisie : qui était le Français tué ?