Début de MAKE64 (fin pas mal avancé en fait). J'ai mis un type ARGS_NUM_NUM : MAKE64 prend deux entiers 32 bits : partie haute et partie basse. Sinon il faut changer énormément de trucs, y compris dans le parser, et c'est la zermi.