Fascinating story, thanks. How many astronomers have had a play and an opera written about them?

https://en.wikipedia.org/wiki/Guillaume_Le_Gentil