le serent-chef Cervoni, les sergents Duteil, Petit, poisson, Nicolas et Cantini sont mis à la disposition du capitaine commandant la milice indigène, pour compter du 14 mai 1939.