Guerre d'Indochine : le Vietnam commémore les 70 ans de Diên Biên Phu