Modélisation des changements d'occupation et d'utilisation du sol. Cadres formels et exemple d'application.