Pinces diverses, pour quels métiers peuvent-elles servir ?, la plus grosse est datée de1890.