SaferCode : la mémoire sûre en C sans réécriture complète