les int font 32 bits dans tous les compilos x86_64 que je connaisse