Dans cet exposé, je décrirai une présentation, au sens des catégories présentables, de l’infini-catégorie des algèbres sur une opérade dans les complexes de chaînes sur un corps. Cela m’amènera à proposer une démonstration du théorème, montré indépendamment par Lurie et Pridham, selon lequel l’infini-catégorie des algèbres de Lie différentielles graduées est équivalente à celle des problèmes de modules formels. Ce travail a été réalisé en collaboration avec Victor Roca i Lucio.