L’étang a-t-il ce nom (ajouté par un nouveau sans source spécifiée https://www.openstreetmap.org/changeset/66706805) / a-t-il toujours ce nom (après extension & fusion avec l’autre plan d’eau du parc) ?