Ravetllat Ballesté, Isaac   Library of Congress