En 2023, 9 % des garçons n'étaient pas scolarisés en primaire dans le monde. Quel était ce pourcentage pour les filles ?