On construira et motivera les espaces de Sobolev conormaux sur le demi-espace. On verra ensuite l’utilisation de ces espaces sur l’équation de Navier-Stokes compressible avec condition de Navier au bord, dans le but d’obtenir l’existence locale de solutions sur un temps qui ne dépend pas des paramètres de viscosité lorsque ceux-ci sont proches de 0.