Descent result for "of finite ideal type"

We are going to call this condition adic* because it is shorter than the
terminology "of finite ideal type" which is used in Fujiwara-Kato. The
descent result allows us to define the notion of a ``locally adic*''
formal algebraic space (we may change this later into just "adic*").