1, Introduction; 2, La logique constructive LC; 3, Un fragment d’anglais; 4, Traduction; 5, Quelques exemples; 6, Conclusion.