Davidjansen

1. n. p. Astron. Asteroide número 12.642 perteneciente al cinturón principal que orbita alrededor del Sol entre Marte y Júpiter. Fue descubierto el 29 de septiembre de 1973 por el equipo de astrónomos neerlandeses formado por Cornelis Johannes van Houten (1920-2002) y su esposa Ingrid van Houten-Groeneveld (1921-2015) desde Leiden (Países Bajos), y el belga Tom Gehrels (1925-2011), nacionalizado estadounidense, desde el Observatorio de Monte Palomar, al norte de San Diego, en California (Estados Unidos). Su periodo orbital es de 3’623 años. ORIGEN