Résumé : Le concept de normes s’adapte particulièrement bien à la définition de systèmes multi-agents organisationnels. Mais la plupart des travaux portant sur les normes dans les systèmes multi-agents ne prennent pas en compte la complexité des algorithmes de satisfaction ou devérification de leur cohérence. Nous proposons un langage de définition de normes, N ODL1,fondé sur un fragment de la logique déontique, permettant de définir de tels algorithmes demanière efficace. Ce modèle s’appuie sur la structure du modèle Agent/Groupe/Rôle (AGR) afinde définir des normes liées aux groupes et aux rôles. Nous montrons que les expressions de celangage peuvent se ramener à des expressions de logique propositionnelle. On montre alors quel’évaluation de la cohérence des normes est linéaire si on se restreint à des clauses de Hornétendues.