Le musée de minéralogie de l'École des mines de Paris — Didier Nectoux, Éloïse Gaillou