I artikel 80 i tilläggsprotokoll I från 1977 föreskrivs exempelvis att :