Definition of branch, branch point, branch cuts...

Try to make the goal easier to understand and the definitions (a bit) more
rigorous.