L’Ibex 35 se vend à 10 200 points