Ajout de l'ID point dans l'export GeoJSON
Interaction carte <=> infosPoint par une fonction JavaScript