The battle of El Alamein and Operation Torch