Going up and going down, terms in commutative algebra which refer to certain properties of chains of prime ideals in integral extensions