diff --git a/.gitattributes b/.gitattributes
index 0274782e848..eaf186ed951 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1,19 +1,19 @@
 * text=auto !eol
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/AlgebraicStructureTraits.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/EuclideanRing.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Euclidean_ring_tag.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Field.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/FieldWithSqrt.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Field_tag.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Field_with_sqrt_tag.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/FromSmallIntConstructible.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/IntegralDomain.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/IntegralDomainWithoutDiv.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Integral_domain_tag.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Integral_domain_without_div_tag.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/UFDomain.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/UFDomain_tag.tex -text
-Algebraic_foundations/doc_tex/Algebraic_concepts_ref/macros.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/AlgebraicStructureTraits.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/EuclideanRing.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Euclidean_ring_tag.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Field.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FieldWithSqrt.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Field_tag.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Field_with_sqrt_tag.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FromSmallIntConstructible.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomain.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomainWithoutDiv.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_tag.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_without_div_tag.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain_tag.tex -text
+Algebraic_foundations/doc_tex/Algebraic_foundations_ref/macros.tex -text
 Algebraic_kernel_GBRS/include/CGAL/Gbrs_algebraic_kernel.h -text
 Algebraic_kernel_GBRS/include/CGAL/Gbrs_functors.h -text
 Algebraic_kernel_GBRS/include/CGAL/Gbrs_polynomial_1.h -text
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts/PkgDescription.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations/PkgDescription.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts/PkgDescription.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations/PkgDescription.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts/intro.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations/intro.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts/intro.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations/intro.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts/main.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations/main.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts/main.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations/main.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/AlgebraicConcept.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/AlgebraicConcept.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/AlgebraicConcept.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/AlgebraicConcept.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/AlgebraicStructureTraits.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/AlgebraicStructureTraits.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/AlgebraicStructureTraits.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/AlgebraicStructureTraits.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/EuclideanRing.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/EuclideanRing.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/EuclideanRing.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/EuclideanRing.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Euclidean_ring_tag.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Euclidean_ring_tag.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Euclidean_ring_tag.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Euclidean_ring_tag.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Field.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Field.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Field.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Field.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/FieldWithSqrt.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FieldWithSqrt.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/FieldWithSqrt.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FieldWithSqrt.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Field_tag.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Field_tag.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Field_tag.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Field_tag.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Field_with_sqrt_tag.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Field_with_sqrt_tag.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Field_with_sqrt_tag.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Field_with_sqrt_tag.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/FromSmallIntConstructible.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FromSmallIntConstructible.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/FromSmallIntConstructible.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FromSmallIntConstructible.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/IntegralDomain.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomain.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/IntegralDomain.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomain.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/IntegralDomainWithoutDiv.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomainWithoutDiv.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/IntegralDomainWithoutDiv.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/IntegralDomainWithoutDiv.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Integral_domain_tag.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_tag.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Integral_domain_tag.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_tag.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Integral_domain_without_div_tag.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_without_div_tag.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/Integral_domain_without_div_tag.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/Integral_domain_without_div_tag.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/UFDomain.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/UFDomain.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/UFDomain_tag.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain_tag.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/UFDomain_tag.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/UFDomain_tag.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/intro.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/intro.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/intro.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/intro.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/macros.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/macros.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/macros.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/macros.tex
diff --git a/Algebraic_foundations/doc_tex/Algebraic_concepts_ref/main.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/main.tex
similarity index 100%
rename from Algebraic_foundations/doc_tex/Algebraic_concepts_ref/main.tex
rename to Algebraic_foundations/doc_tex/Algebraic_foundations_ref/main.tex