Nous commençons par donner une revue des techniques géométriques (en particulier les G-structures et la Géometrie Complexe généralisée) qui sont couramment utilisées dans l'éude des compactifications supersymétriques N=1. Ensuite nous nous concentrons sur l'étude des compactifications de type IIB vers des vides Anti de Sitter avec supersymétrie N=1. Nous donnons les conditions générales que la supersymétrie impose, en particulier la variété interne doit avoir une structure SU(2). Nous faisons une recherche exhaustive de tels vides sur les quotients et les groupes de Lie. Avec quelques hypothèses sur les classes de torsion SU(2) et avec dilaton et facteur de warping constants, on trouve que de tels vides sont très rares : deux sur des quotients et cinq sur des groupes de Lie. Tous requierent des plans O5 et O7 qui s'intersectent. Cela veut également dire qu'il n'existe pas de vide AdS4 sans sources. Nous étudions ensuite la séparation d'échelles sur ces vides afin de donner quelques intuitions sur les théories effectives à quatre dimensions. Nous avons trouvé que seulement deux d'entre elles admettent séparation d'échelles.