A.A. Agrachev, Is it possible to recognize Local Controllability in a finite number of differentiations?