Patio

Patio is a Spanish word for an arcaded or colonaded courtyard. It is now applied to any small paved area in a garden.