VAN BENEDEN PIERRE-JOSEPH (1809-1894) (PALEONTOLOOG ZOÖLOOG)