factorisation avec mset