Bug correction for link addition for a proposition and code factorising