Martingale representation property in progressively enlarged filtrations · Study