Orbifolds, special varieties and classification theory: an appendix
For any compact Kähler manifold and for any equivalence relation generated by a symmetric binary relation with compact analytic graph in , the existence of a meromorphic quotient is known from Inv. Math. 63 (1981). We give here a simplified and detailed proof of the existence of such quotients, following the approach of that paper. These quotients are used in one of the two constructions of the core of given in the previous paper of this fascicule, as well as in many other questions.