Nell’ottobre di quello stesso anno Antonio viene spedito in prima linea a difendere una causa che non gli appartiene nella guerra d’Indocina.
Partecipa alla lunghissima e decisiva battaglia di Dien Bien Phu, in Vietnam, che porta alla resa dei francesi.
Antonio Cocco nasce a Padova il 10 novembre 1933 e cresce a Venezia. Muore in battaglia a vent’anni in un giorno di aprile, o forse di maggio.
