Mise à jour contributeurs + ajouts de TODO + Mise en forme dans 9.tex