Is the universe finite ?