The Battle of Algiers: A Film within History