CODE: Correction d'une erreur rapportée par valgrind.