diff --git a/.gitattributes b/.gitattributes
index 199b84765c6..c04644ae708 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -3902,7 +3902,7 @@ Triangulation/doc_tex/Triangulation_ref/fig/insert-in-simplex.png -text
 Triangulation/doc_tex/Triangulation_ref/intro.tex -text
 Triangulation/doc_tex/Triangulation_ref/main.tex -text
 Triangulation/dont_submit -text
-Triangulation/examples/Triangulation/pure_complex.cpp -text
+Triangulation/examples/Triangulation/triangulation.cpp -text
 Triangulation/examples/Triangulation/triangulation_data_structure.cpp -text
 Triangulation/include/CGAL/Convex_hull.h -text
 Triangulation/include/CGAL/Delaunay_complex.h -text
diff --git a/Triangulation/doc_tex/Triangulation/triangulation.tex b/Triangulation/doc_tex/Triangulation/triangulation.tex
index 375115484c9..16b35a0ff21 100644
--- a/Triangulation/doc_tex/Triangulation/triangulation.tex
+++ b/Triangulation/doc_tex/Triangulation/triangulation.tex
@@ -140,9 +140,10 @@ cell is always represented by the \ccc{FullCell} nested type, And a
 
 \paragraph{The data structure triangulates $\sphere^\cd$}
 
-Because this is extremely convenient, a \tds, in fact, ensures that its
-faces form a \emph{triangulation} of the topological sphere $\sphere^\cd$,
-\emph{i.e.}, form a partition of $\sphere^\cd$ into $\cd$-simplices. When a
+In a first approximation,
+a \tds, can be viewed as
+a \emph{triangulation} of the topological sphere $\sphere^\cd$,
+\emph{i.e.}, its faces can be embedded to form a partition of $\sphere^\cd$ into $\cd$-simplices. When a
 \tds\ is used as the combinatorial part of a geometric triangulation, one
 vertex of the \tds\ will be the \textbf{vertex at
 infinity}; we can consider that the triangulation covers the whole
diff --git a/Triangulation/examples/Triangulation/pure_complex.cpp b/Triangulation/examples/Triangulation/triangulation.cpp
similarity index 100%
rename from Triangulation/examples/Triangulation/pure_complex.cpp
rename to Triangulation/examples/Triangulation/triangulation.cpp