Le Portugal dans la guerre