Ministère de la marine. Direction centrale du commissariat de la marine. Prises maritimes. Jurisprudence française de la guerre 1939-1945 — France. Direction centrale du commissariat de la marine