Nous donnons une introduction à la géométrie algébrique dérivée (DAG) en se concentrant sur les constructions et techniques de base. Nous discutons les schémas dérivés affines, les champs algébriques dérivés et le théorème de représentabilité d’Artin-Lurie. À travers l’exemple des déformations de schémas lisses et propres, nous expliquons comment DAG éclaire la théorie classique de la déformation. Dans les deux dernières sections, nous introduisons les formes différentielles sur le champs dérivées, puis nous nous spécialisons au formes symplectiques décalées, donnant les principaux théorèmes d’existence prouvés dans ptvv.