Orbifolds, special varieties and classification theory: an appendix

For any compact Kähler manifold X and for any equivalence relation generated by a symmetric binary relation with compact analytic graph in 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.