Pourquoi le résultat est-il négatif en cas de dépassement de int32?