Suppression des alloc et delete inutiles en ltl