Glossary_of_arithmetic_and_diophantine_geometry loading ...