Definitions of porte-cochere:

• noun:   canopy extending out from a building entrance to shelter those getting in and out of vehicles
• noun:   a carriage entrance passing through a building to an enclosed courtyard