ポルトガルの歴史 (1640年-1777年)