Bonjour, J'ai téléchargé via AUR le paquet contenant le launcher minecraft (minecraft-launcher), et il semblerait qu'il y ait un bug au niveau de la sélection des options dans les menus déroulants : il m'est impossible de les modifier. Ce qui est étonnant, c'est que sinon tout marche correctement. Q...