Développements théoriques et techniques récents des systèmes d'information géographique : acquisition, traitement et vérification de données spatiales.