Optional splitting formula in a progressively enlarged filtration · Study