ibaudin , krigsminiundantag af general Thibaudin etern.