Parque Buen Retiro, jardines, RETIRO