Diccionario histórico, biográfico, geográfico e industrial de la República - Peral, Miguel Angel (Pac)