rewrite proposition on the factorization of the k-jet
correct typo
update the subsection on factorization
fix statement about finite determinacy
update the introduction of the section on the residual part
update the introduction
move algorithms to different paragraphs