ramified point ; ramification point