Meilleures constantes dans le théorème d'inclusion de Sobolev et un théorème de Fredholm non linéaire pour la transformation conforme de la courbure scalaire