hercodificatie