what was the namesake of ismaël bullialdus?
(AND symbols.namesake (JOIN symbols.namesake.named_after m.0269kb0))