Dictionnaire de Trévoux/6e édition, 1771/DEMI-FILE
(3, p. 212).
Demi-file, Terme de l’art militaire. C’est une file divisée en deux. Geminas in partes divisus ordo. La demi-file est le rang du bataillon qui suit le serre demi-file, & qui commence la dernière moitié de la hauteur du bataillon. Ainsi le bataillon étant à huit de hauteur, le cinquième rang doit être la demi-file. S’il est à six de hauteur, ce fera le quatrième rang.