France mourns nurse known as Angel of Dien Bien Phu