Alexe Marin, traducătorul lucrării Prescurtare de astronomie populară (1839)