Where does “penalty kick” come from?

penalty kick (English): A form of direct free kick, taken from the...