Machining a corner by digital punching