Traduction de l'anglais en français: universal quantifier