Le nombre total de ceux qui périrent en ce jour fut de douze mille, tant hommes que femmes, tous gens d'Haï.