Implémentation du cas général de mem_free, test non effectué