Détecter les erreurs de tagging des amphithéâtres

https://api.openstreetmap.org/user/PikaMap/diary/408601