Oui, en fait DosBox ne comprend pas les instructions du genre set/p "cho=>" et il crash, pareil pour la version PC de DosBox, y'a qu'avec le vrai DOS que ça passe. Je sais qu'il y avait d'autres manieres de faire des menus en batch et l'une d'elles fonctionnerait peut-etre, j'essaierai plus tard.
Sinon, je préfère finalement DosBox Turbo à aDosBox, y'a bien plus de réglages (et d'ailleurs il permet d'éditer son autoexec dans les reglages), Prehistorik passe alors que je n'arrivais pas à le faire fonctionner avec aDosBox, et on peut assigner n'importe quelles touches de clavier aux touches hardware d'une console Android, ce qui est trèèèèès utile.