Traduction de l'anglais en français: formalisation