La dimension de la frontière d'un ensemble analytique dans son saturé par une application
Soit une application analytique propre entre des ouverts de , soit un sous-ensemble analytique de et soit . On donne des conditions pour que soit de codimension 1 dans .