Hippolyte Gros, biographie et bibliographie