Dien Bien Phu, citadelle de la gloire — Lucien Bornert