"Le nombre des victimes fut de quatorze mille sept cents, sans compter les partisans de Coré qui étaient morts auparavant."