Nombres y cifras de la represión franquista en El Pedroso (Sevilla) entre 1936 y 1944