Une logique modale pour raisonner sur la cohérence et la complétude de réglementations.