Gregorio VII e il suo secolo - Santangelo, Paolo Ettore (Fratelli Treves, 1935)