Étant donné un ensemble analytique de dimension pure, réduit et irréductible. Par paramétrisation locale, il est localement induit, par un morphisme propre, fini et surjectif, comme revêtement ramifié d'un ouvert d'un espace euclidien. Nous commençons par donner une description des faisceaux obtenus en prenant l'image directe au sens des courants, par le morphisme revêtement, et, en supposant que le discriminant du revêtement ramifié est à croisements normaux, nous montrons l'exactitude du complexe de Dolbeault obtenu par le procède trace