(* ====== Destruction ====== *)

PROCEDURE DeleteFaceEdge(a: Handle);
  (* Delete a handle fe "a" with the 7 another handles associated. *)