La Bourse de Paris lâche un peu de lest après ses records