(ou bien #define int_size (double)(sizeof(void*) * 8), au choix )