POLYTECHNIQUE, adj.
Étymol. et Hist. 1. 1795 (
Mém. sur l'École centrale des travaux publics ds
Choix de rapports, opinions et discours prononcés à la Tribune Nationale, t. 15, p. 308 : On pourrait la désigner alors sous le nom d'
École polytechnique); 1889
élèves de Polytechnique (
Barrès,
loc. cit.);
2. 1812 adj. (
Mozin-Biber). Formé de l'élém.
poly-* et de
technique* (
cf. gr. π
ο
λ
υ
́
τ
ε
χ
ν
ο
ς « habile en de nombreux arts »); l'
École polytechnique avait été créée le 11 mars 1794 sous le nom d'
École centrale des travaux publics (v.
Choix de rapports, opinions et discours prononcés à la Tribune Nationale, t. 15, p. 283).