Ici on prend les données GPKG mais shp et CSV aussi disponibles selon vos préférences
# Infos pompées de https://www.geoportail-urbanisme.gouv.fr/image/Manuel_export_massif.pdf
# Obtenu via discussion https://georezo.net/forum/viewtopic.php?pid=367182#p367182
# Do once (to get ssh key)
timeout 5 ssh -oStrictHostKeyChecking=accept-new -p 2200 gpu_depot_exports@sftp-public.ign.fr
# List files