Hormigas de cabeza roja viviendo en un árbol, Jardín Botánico El Arboreto