Jean Brémant, jardinier du Jardin royal (1672 ?-1702) — Ernest-Théodore Hamy