Bonjour,
Ceci n'est pas une réponse directe à ta question mais une piste qui ma parait intéressante.
Si tu compte installer des logiciels éducatifs je te conseille plutôt Primtux, voici le lien:
Primtux
Elle est basée sur Lubuntu 18.04, elle est légère (fonctionne même sur de vielles machines) et contient d'emblée toute une série de logiciels éducatifs.
Je l'ai installée sur un vieil ordinateur portable qui trainait dans le placard pour mes petits enfants, j'en suis pleinement satisfait.
Tu peux la tester en live, si tu es convaincu tu l'installes.
