MongoDB nomme un nouveau PDG dans un contexte de solides prévisions pour le troisième trimestre