I went looking and it turns out that Jérôme Lalande's star catalogue has been preserved and translated to English.
Having since discovered by such means that Lalande 8 - from John M. Ford's The Final Reflection - is in fact a real star, I am now trying to find out what names or catalogue numbers that star is currently best known by. Any suggestions on the matter? Apparently, as of 1847, it was deemed to be in the constellation Cassiopeia?
Having since discovered by such means that Lalande 8 - from John M. Ford's The Final Reflection - is in fact a real star, I am now trying to find out what names or catalogue numbers that star is currently best known by. Any suggestions on the matter? Apparently, as of 1847, it was deemed to be in the constellation Cassiopeia?