Terminology and phraseology of technical texts in German: Characteristics and problems in the use of machine translation; [Terminologie et phraséologie des textes techniques en Allemand: caractéristiques et problèmes de l’application de la traduction auto