Etat-major de l'armée. Direction des troupes coloniales. Instruction du 5 mai 1939 pour l'application dans l'infanterie coloniale du règlement de l'infanterie (1ère partie) du 1er juin 1938 — France. Direction des troupes d'outre-mer