Instruction provisoire pour les unités de mitrailleuses d'infanterie du 1er octobre 1920 — France. Direction de l'infanterie