L’Encyclopédie/1re édition/FILE
* FILE, s. f. (Gramm. & Arts méchan.) il se dit de plusieurs objets séparés les uns des autres, mais voisins & places dans une même direction.
File, en terme de Guerre, est un nombre d’hommes placés les uns derriere les autres sur une même ligne droite, & faisant face du même côté. Le premier soldat de la file est appellé chef-de-file, & le dernier serre-file. File se dit également dans la cavalerie & dans l’infanterie.
On dit serrer les files, c’est-à-dire serrer les soldats les uns contre les autres. Lorsqu’il s’agit de combattre, l’épaisseur de chaque file est de deux piés. Voyez Bataillon. Doubler les files, c’est doubler l’épaisseur du bataillon, & diminuer sa largeur ou son front. Le nombre d’hommes de chaque file dans le bataillon, en détermine la hauteur ; ainsi on dit qu’il est à quatre de hauteur, lorsque la file est de quatre hommes, &c. Voyez Évolutions. (Q)