Topological methods for the global controllability of nonlinear systems