Factorisation extractor