Western France, Spain, and other areas skew time zones and shift clocks, in effect observing DST in winter with an extra hour in summer. What term was used in Britain for double daylight saving time