A.A. Agrachev, R.V. Gamkrelidze, A second order optimality principle for a time-optimal problem