Manin-Mumford_conjecture loading ...