Règlement général de manoeuvre — France. Ministère de la marine (1893-1947)