Reprezentacja Portugalii w piłce nożnej mężczyzn