La thèse d'invariance de Slot et van Emde Boas stipule qu'un modèle de coût temporel (respectivement spatial) est raisonnable pour un modèle informatique C s'il existe des simulations mutuelles entre les machines de Turing et C telles que la surcharge est polynomiale dans le temps (respectivement linéaire dans l'espace) . La logique est que sous la thèse de l'invariance, les classes de complexité telles que LOGSPACE, P, PSPACE, deviennent robustes, c'est-à-dire indépendantes de la machine. Dans cette thèse, nous voulons savoir s'il est possible de définir un modèle de coût spatial raisonnable pour le lambda-calcul, le modèle paradigmatique des langages de programmation fonctionnels. Nous commençons par considérer un mécanisme d'évaluation inhabituel pour le lambda-calcul, basé sur la géométrie de l'interaction de Girard, qui a été supposé être l'ingrédient clé pour obtenir un modèle de coût raisonnable en espace. Par une analyse fine de la complexité de ce schéma, basée sur de nouvelles variantes de types d'intersections non idempotentes, nous réfutons cette conjecture. Ensuite, nous changeons la cible de notre analyse. Nous considérons une variante de la machine abstraite de Krivine, un mécanisme d'évaluation standard pour le lambda-calcul d'appel par nom, optimisé pour la complexité de l'espace et implémenté sans aucun pointeur. Une analyse fine de l'exécution de (une version raffinée de) l'encodage des machines de Turing dans le lambda-calcul nous permet de conclure que l'espace consommé par cette machine est bien un modèle de coût d'espace raisonnable. En particulier, pour la première fois, nous sommes capables de mesurer également des complexités spatiales sous-linéaires. De plus, nous transférons ce résultat au cas d'appel par valeur. Enfin, nous fournissons également un système de type intersection qui caractérise la composition de cette nouvelle mesure d'espace raisonnable. Cela se fait par une modification minimale, mais non triviale, du système de type original de Carvalho.