Décès du médecin colonel Pierre Rouault, ancien de Dien Bien Phu