Meilleur lancement de l'année 2023 pour « Barbie » au box-office nord-américain