Résumé en anglais

We study the minimum time optimal control problem for a nonlinear system in R n with a general target. Necessary and sufficient optimality conditions are obtained. In particular, we describe a class of costates that are included in the superdifferential of the minimum time function, even in the case when this function is only lower semicontinuous. Two set-valued maps are constructed to provide time optimal synthesis.