sauf que les ints font 32 bits partout sauf sur ti68k