Update agsdefns.sh

Quelques petits passages traduits.