HOPKINS: fix errors in ajoute_ligne, add comments on the impossible check