Pour chaque $K$-algèbre gradué commutative $H$, nous construisons une variété algébrique $W$ sur laquelle opère un groupe algébrique et telle que les orbites représentent les différents types d'homotopie rationnelle de cohomologie $H$. Un espace est dit rigide s'il est invariant par toutes les transformations infinitésimales. Théorème : si $k$ est algébriquement clos, un espace formel est rigide si il est intrinsèquement formel. Nous interprétons ensuite la rigidité en termes de cohomologie de l'espace gradué différentiel des dérivations du modèle (groupe noté $H_{f}^{p}(X)$). Si $H_{f}^{1}(X) = 0$, alors $X$ est rigide ; si $H_{f}^{2}(X) = 0$, alors $X$ est rigide si $H_{f}^{1}(X) = 0$. Théorème de finitude du nombre de types d'homotopie et étude des fonctions semi-continues sur $W$.