Diophantine_geometry loading ...