Chiến dịch Điện Biên Phủ trong chiến tranh Đông Dương, chiến tranh Việt Nam – Lính Pháp đào chiến hào phòng thủ trong chiến dịch Điện Biên Phủ trong chiến tranh Đông Dương – Battle of Dien Bien Phu in Indochina war