La théorie de l'intégration convexe a été inventée dans les années 70 par Gromov. Elle permet de résoudre de vastes familles de relations différentielles au moyen d'une succession d'"intégrations convexes" appliquées à des sous-solutions. Elle a conduit récemment à la construction explicite de plongements isométriques C^1. Dans cet exposé, nous proposerons une formule alternative aux intégrations convexes. Nous verrons quelles sont ses avantages et dans quel sens elle permet de faire disparaître l'intégrale. À titre d'application, nous construirons une nouvelle immersion de l'espace projectif dans l'espace ambiant.