The Battle of Algiers, a Film Within History