Buenos días, lo que hoy llaman el jardín botanico eran los antiguos huertos de los mineros se regaban con el agua del pozo consultas, los huertos empezaban de bajo de la casa visita y llegaban cerca del tenis o las chiqueras la parte de la casa visita hasta la farmacia y frente a las cocheras los tenían los ingenieros y los que vivían en la calle cepillo, desde el cuartel hacia el tenis los tenían el resto de mineros todo lo que es hoy el jardín botánico, es decir que la junta aprovecho esos huertos para convertilos en jardín botánico, espero haber podido aclararle lo de los antiguos huertos, me encanta recordar el antiguo rodalquilar saludos.