Le thA(c)orA]me de h-cobordisme est bien connu en topologie diffA(c)rentielle et PL. Il a A(c)tA(c) dA(c)montrA(c) par Stephen Smale et avec comme consA(c)quence la preuve de la conjecture de PoincarA(c) en dimension supA(c)rieure A 4. Une gA(c)nA(c)ralisation pour les h-cobordismes possiblement non simplement connexe est appelA(c)e thA(c)orA]me de s-cobordisme. Dans cette thA]se, nous dA(c)montrons les versions semi-algA(c)brique et Nash de ces thA(c)orA]mes. C'est A dire, avec des donnA(c)es semi-algA(c)briques ou Nash, nous obtenons un homA(c)omorphisme semi-algA(c)brique (respectivement...