La traçabilité et l’intégration des exigences au court du cycle de vie d’un système informatique est un enjeu majeur de l’ingénierie des exigences. En effet, cela permet de s’assurer que le système réponde bien aux attentes du client. Si les méthodes formelles permettent de prouver de telles propriétés, elles restent peu appliquées dans le cas des systèmes non-critiques, et de nombreux acteurs préfèrent exprimer les exigences en langue naturelle. Nous proposons un langage dédié à l’expression des exigences : RSML. Ce paradigme, situé dans une approche sans rupture, fournit un cadre contraint pour l’expression des exigences, basé sur une formalisation en Eiffel. Cela permet d’exprimer les exigences d’un système dans un langage proche de la langue naturelle, tout en permettant de prouver formellement la validité de ce système au regard de ces exigences.