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