Diminutivo de PATIO.