Formal and Material Decodification of Civil Law