La géométrie dérivée est un enrichissement de la géométrie classique avec des structures différentielles graduées dans le but de surmonter certaines limitations de la géométrie classique. Dans le cas de la géométrie complexe, il existe deux modèles : l'un développé par Lurie et Porta et l'autre développé par Pridham.

Le but de cet exposé est de présenter une troisième direction basée sur la description des variétés complexes comme des structures presque complexes intégrables. Nous nous focaliserons sur le cas des variétés complexes formelles et nous exposerons un lien avec le modèle de Pridham.