Continuation de biduletruc (smt), et suppression de vieux fichiers de tests inutiles