Simplifie et complète le code pour pouvoir selectionner plusieurs buts sur la ligne de commande
Simplifie et complète le code pour pouvoir selectionner plusieurs buts sur la ligne de commande

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