Eric Gruot, astronome amateur