Histoire MilitaireGuerres après 1945 L’EROM 80 dans la bataille de Dien Bien Phu Par editeur - 5 novembre 2026 Voir le Pdf