suppression des portions de code obsolètes + correction des fuites de mémoire (il en reste, mais pas à cause de notre code)
simplification du code de justify_par