Operation Torch
（1942年11月8日　トーチ作戦）も参照