Inhumation des restes de deux martyrs tombés pendant la campagne de Dien Bien Phu