Title: Jules-Louis-Isidore Petitdidier, ingénieur des mines