5 000 Marines supplémentaires : pour quoi faire ?