Décrire formellement les processus de manipulation de données géographiques