Machine for shaving, Sharpener