Georges Leschot et l'invention des perforatrices à diamant, par Daniel Colladon, — Jean-Daniel Colladon