La distribution des drapeaux, le 14 juillet 1880