en ; general Thibaudin blef krigsminister.