L∞L∞ cohomology is intersection cohomology

Let XX be a subanalytic compact pseudomanifold. We show a de Rham theorem for L∞L∞ forms on the nonsingular part of XX. We prove that their cohomology is isomorphic to the intersection cohomology of XX in the maximal perversity.