I'm not sure if Nicolaus Copernicus could be considered formal, but he was certainly considered stellar.