Anexo:Lista de períodos em que vigorou o horário de verão em Portugal