progressive enlargements of filtrations and semimartingale