Pince, pour réparation du décamètre