Nous étudions les interfaces de quatre modèles de spins sur réseau: le modèle d'Ising à basse température, le modèle de Potts à la température critique, un modèle à symétrie continue et son approximation d'horloge.<br />Pour chacun de ces modèles, nous imposons des conditions au bord spécifiques qui assurent l'existence d'une interface ; les mesures de Gibbs associées à de telles conditions au bord satisfont alors de puissantes inégalités de corrélation. Ces inégalités nous permettent de montrer que les interfaces considérées sont rigides, au sens où ce sont des hyperplans légèrement déformés par des aspérités locales. Cette méthode est une version restreinte de la méthode de positivité par réflexion, l'une des directions de réflexion étant prohibée par les conditions au bord choisies.<br />Pour Ising et Potts, notre méthode simplifie considérablement les démonstrations historiques, puisque ni la théorie de Pirogov-Sinai, ni les développements en amas ne sont nécessaires à son application. Par ailleurs, la théorie-PS n'est directement envisageable ni pour le modèle continu ni son approximation car leurs états fondamentaux sont infiniment dégénérés; notre méthode est donc une réelle alternative à ces techniques.