L'éphéméride du 21 juillet : en 1954, la fin de la guerre d'Indochine