  This paper reviews the equivalence between the category of taut adic spaces
that are locally of finite type and the category of strictly analytic Berkovich
spaces. An explicit construction of this functor is provided by using the
terminology of valuative spaces.
