Salut !J'aimerais savoir comment installer Galacticraft sous linux et plus exactement MicDoodle qui ne se lance pas quand je l'ouvreMerci !