Multichannel audio signal coding or decoding, i.e. using interchannel correlation to reduce redundancies