Prototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.