portico

noun1

1. •
   A porch, or a small space with a roof supported by columns, serving as the entrance to a building.

   • The amphitheatre hath two portici as that at Nismes. — 1732