Carlos VII : duque de Madrid - Rodezno, Tomás Rodríguez Arévalo (Espasa-Calpe)