Historia maravillosa de Roberto el Diablo, hijo del Duque de Normandía, el cual después fue llamado Hombre de Dios [PL 3412]