Le théorème de Hardt assure qu’une famille semi-algébrique d’ensembles sur un corps réel clos est semi-algébriquement topologiquement triviale au dessus des éléments d’une partition. Il s’agit là de démontrer que l’on peut construire une isotopie semi-algébrique réalisant une trivialisation (générique) bilipschitz.