Thiers har förklarat sigformelt