Mallet, Jaques André, Swiss astronomer