merge fait une erreur de mémoire : double delete ?!