Objets d\'art d\'Extrême-Orient [...] très importantes pierres dures sculptées de la Chine [...] : [vente du 25 mai 1944]