Jacques d'Allonville — astronomer (1671-1732)