let rec add_offset father_offset new_offset =  
  match father_offset with
    | Cil_types.NoOffset -> new_offset
    | Cil_types.Field(_,the_offset)  -> (Cil.addOffset father_offset (add_offset the_offset new_offset)) 
    | _ ->  Aorai_option.fatal "NOT YET IMPLEMENTED : struct with array access."