La distribution des drapeaux, le 14 juillet 1880 (1880)