La Bourse de Paris tutoie les 8 300 points, nouveau record en séance !