Börsen i Paris diskonterade den 9Juli