In this talk, a proof of a conjecture of B. Shoikhet is presented, which gives an alternative approach to deformation quantization in terms of generators and relations: the proof relies on a recent formality result in the presence of two branes (or submanifolds).