Controllability and second-order necessary conditions for optimality. (January 2019)