L’EROM 80 dans la bataille de Dien Bien Phu