RÈSUMÈ: Soit k = colimi ki une colimite filtrante d’anneaux commutatifs. On montre que la théorie homotopique des dg-algèbres propres et lisses sur k est la colimite des théories homotopiques des dg-algèbres propres et lisses sur les ki. Nous en déduisons en particulier que toute dg-algèbre propre et lisse est définissable sur une ℤ-algèbre commutative de type fini.