Tools for punching machines