Normes, Pouvoirs et Rôles: vers une formalisation en logique.