Pablo da San Leocadio was a painter from a city that has about how many inhabitants?