Des ''marines'' en opération à la frontière algérienne, selon un journal américain