La piscine du Camping du Gué Saint-Léonard est en rénovation ?
Si oui, il reste encore le noeud du plongeoir [ https://www.openstreetmap.org/node/10780225396 ] qu'il faudra peut-être supprimer ?
(je m'intéresse au sujet des plongeoirs, cf. https://forum.openstreetmap.fr/t/plongeoirs-et-site-de-plongeons-naturels-cliff-diving )