Jean sylvain bailly biography definition