Girardot, Hippolyte