Plaza de Dolores,
a very pleasant, shady park where a lot of locals gather.