Utilise int32_t et uint32_t dans dic_internals.h