Algunos autores cifran en 3.000 los ejecutados.