traduction en anglais des noms des define