Traduction de l'anglais en français: theorem