Pour que l'on donne toujours les mêmes déclarations pour le type à encoder dans plusieurs taches différentes
Pour que l'on donne toujours les mêmes déclarations pour le type à encoder dans plusieurs taches différentes

ssaavedra/why3,jpdeplaix/why3,ssaavedra/why3,douglas-larocca/why3,douglas-larocca/why3,jpdeplaix/why3,jpdeplaix/why3,ssaavedra/why3,douglas-larocca/why3