The codimension-three conjecture for holonomic DQ-modules

On a complex symplectic manifold, we prove that any holonomic DQ-module endowed with a lattice and defined outside of an analytic subvariety of codimension 3 of its support extends as an holonomic DQ-module. This is an analogue for DQ-modules of the codimension-three conjecture for microdifferential modules recently proved by Kashiwara and Vilonen.