Identité de Hall-Witt