Résultats record et prévisions en hausse chez Deutsche Börse