FILE. s.f.
Suite ou rangée de choses & de personnes disposées en long & l'une après l'autre. Une longue file de gens qui vont un à un. Aller à la file, file à file. Prendre la file des bagages. Suivre la file. Prenez garde de ne pas perdre la file. Il se dit en termes de Guerre d'Une rangée de fantassins disposés les uns derrière les autres sur une même ligne. Ranger en file. Doubler les files. Serrer les files.

DEMI-FILE. s.f. Terme de Guerre. La moitié de la file. Un bataillon qui s'ouvre par demi-file, qui marche par demi-file. On appelle Chef de file, Celui qui est à la tête d'une file dans un bataillon. Chef de demi-file, Celui qui est à la tête de l'autre moitié de la file. Et, Serre-file, Celui qui est à la queue de la file.