Orbifolds, special varieties and classification theory: An appendix

For any compact Kahler manifold X and for any equivalence relation generated by a symmetric binary relation with compact analytic graph in X x X, 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 X given in the previous paper of this fascicule, as well as in many other questions.