Pince à papier rouge et bleue, pince à papier pour enregistrement, outil de pincement