Optional splitting formula in a progressively enlarged filtration Shiqi Song ESAIM: PS, 18 (2014) 829-853 Published online: 29 October 2014 DOI: 10.1051/ps/2014003