Formalismes pour l'automatisation de la généralisation : Métrique, topologie, partitionnement hiérarchique et triangulation locale