to my knowledge there is no name for it, but i can check in person eventually

i think a park would be a more fitting name for this area