Våldsdådet på börsen i Paris.