A tool with a conical point that is used to make indentations in metal (especially to mark points for drilling) English: center punch