La bataille de Diên Biên Phu — Pierre Journoud