Update agsdefns.sh

traduction de File.