A factorization of a Lévy process over a phase-type horizon. Issue 4 (2nd October 2018)